Deduktion: Von der Theorie zur Anwendung

Zeitschriftenartikel

Autor(en):Franz Baader, Bernhard Beckert und Tobias Nipkow
Zeitschrift:Informatik-Spektrum
Verleger:Springer Berlin / Heidelberg
Band:33
Ausgabe:5
Jahr:2010
Seiten: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
}