@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
}
Deduktion: Von der Theorie zur Anwendung
| Autor(en): | Franz Baader, Bernhard Beckert und Tobias Nipkow |
|---|---|
| Zeitschrift: | Informatik-Spektrum |
| Verleger: | Springer Berlin / Heidelberg |
| Ausgabe: | 5 |
| Band: | 33 |
| Jahr: | 2010 |
| Seiten: | 444-451 |
| URL: | http://dx.doi.org/10.1007/s00287-010-0461-3 |