Home Advanced Search

Advanced Search - Page 1

Term Rewriting and All That
  • DJVU
  • English
  • Year: 1998
  • Author: Franz Baader, Tobias Nipkow
The Description Logic Handbook Theory, Implementation and Applications
  • PDF
  • English
  • Year: 2010
  • Author: Franz Baader
Fermenta cognitionis, Heft 1.
  • PDF
  • German
  • Year: 1822
  • Author: Franz Baader
Concrete Semantics with Isabelle/HOL
  • PDF
  • English
  • Year: 2017
  • Author: Tobias Nipkow, Gerwin Klein
Concrete Semantics: With Isabelle/HOL
  • PDF
  • English
  • Year: 2014
  • Author: Tobias Nipkow, Gerwin Klein (auth.)
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Henk Barendregt, Tobias Nipkow (eds.)
Biografie und Briefwechsel
  • PDF
  • German
  • Year: 1963
  • Author: Franz von Baader
Erläuterungen zu sämtlichen Schriften von Louis Claude de Saint-Martin
  • PDF
  • German
  • Year: 1963
  • Author: Franz von Baader
Gesammelte Schriften zur Religionsphilosophie
  • PDF
  • German
  • Year: 1963
  • Author: Franz von Baader
Gesammelte Schriften zur philosophischen Erkenntniswissenschaft als spekulative Logik
  • PDF
  • German
  • Year: 1963
  • Author: Franz von Baader
search