Deduktion: von der Theorie zur Anwendung

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Deduktion: von der Theorie zur Anwendung

Franz BaaderFranz Baader,  Bernhard BeckertBernhard Beckert,  Tobias NipkowTobias Nipkow

Franz Baader, Bernhard Beckert, Tobias Nipkow
Deduktion: von der Theorie zur Anwendung
Informatik-Spektrum, 33(5):444-451, 2010

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@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},
}