Deduktion: von der Theorie zur Anwendung
Aus International Center for Computational Logic
Deduktion: von der Theorie zur Anwendung
Franz BaaderFranz Baader, Bernhard BeckertBernhard Beckert, Tobias NipkowTobias Nipkow

Deduktion: von der Theorie zur Anwendung
Informatik-Spektrum, 33(5):444-451, 2010
- Forschungsgruppe:Research Group: Automatentheorie
@article{ BaBeNi-IS-10, author = {Franz {Baader} and Bernhard {Beckert} and Tobias {Nipkow}}, journal = {Informatik-Spektrum}, number = {5}, pages = {444--451}, title = {Deduktion: von der {T}heorie zur {A}nwendung}, volume = {33}, year = {2010}, }