Deduktion: Von der Theorie zur Anwendung

Journal Article

Author(s):Franz Baader, Bernhard Beckert, and Tobias Nipkow
Journal:Informatik-Spektrum
Publisher:Springer Berlin / Heidelberg
Volume:33
Issue:5
Year:2010
Pages:444-451
URL:http://dx.doi.org/10.1007/s00287-010-0461-3

BibTeX

@article{BaaderBeckertNipkow2010,
   author = {Franz Baader and Bernhard Beckert and Tobias Nipkow},
   title     = {{D}eduktion: {V}on der {T}heorie zur {A}nwendung},
   journal = {Informatik-Spektrum},
   publisher = {Springer Berlin / Heidelberg},
   issn = {0170-6012},
   keyword = {Computer Science},
   pages = {444-451},
   volume = {33},
   issue = {5},
   url = {http://dx.doi.org/10.1007/s00287-010-0461-3},
   year = {2010},
   month = aug
}