Deduktion: Von der Theorie zur Anwendung

Translated title of the contribution: Deduction: From theory to application

Franz Baader, Bernhard Beckert, Tobias Nipkow

Research output: Contribution to journal › Article › peer-review

Translated title of the contribution	Deduction: From theory to application
Original language	German
Pages (from-to)	444-451
Number of pages	8
Journal	Informatik-Spektrum
Volume	33
Issue number	5
DOIs	https://doi.org/10.1007/s00287-010-0461-3
State	Published - Oct 2010

Access to Document

@article{249c981295f642f79b6d8f4847c9dad7,

title = "Deduktion: Von der Theorie zur Anwendung",

author = "Franz Baader and Bernhard Beckert and Tobias Nipkow",

year = "2010",

month = oct,

doi = "10.1007/s00287-010-0461-3",

language = "Deutsch",

volume = "33",

pages = "444--451",

journal = "Informatik-Spektrum",

issn = "0170-6012",

publisher = "Springer Verlag",

number = "5",

}

TY - JOUR

T1 - Deduktion

T2 - Von der Theorie zur Anwendung

AU - Baader, Franz

AU - Beckert, Bernhard

AU - Nipkow, Tobias

PY - 2010/10

Y1 - 2010/10

UR - http://www.scopus.com/inward/record.url?scp=78049334367&partnerID=8YFLogxK

U2 - 10.1007/s00287-010-0461-3

DO - 10.1007/s00287-010-0461-3

M3 - Artikel

AN - SCOPUS:78049334367

SN - 0170-6012

VL - 33

SP - 444

EP - 451

JO - Informatik-Spektrum

JF - Informatik-Spektrum

IS - 5

ER -