Deduktion: von der Theorie zur Anwendung

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Deduktion: von der Theorie zur Anwendung

Franz BaaderFranz Baader,  Bernhard BeckertBernhard Beckert,  Tobias NipkowTobias Nipkow
Deduktion: von der Theorie zur Anwendung


Franz Baader, Bernhard Beckert, Tobias Nipkow
Deduktion: von der Theorie zur Anwendung
Informatik-Spektrum, 33(5):444-451, 2010
@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},
}