Home Advanced Search

Advanced Search - Page 1

The Resolution Calculus
  • PDF
  • English
  • Year: 1997
  • Author: Alexander Leitsch
Methods of Cut-elimination
  • PDF
  • English
  • Year: 2011
  • Author: Alexander Leitsch, Matthias Baaz
Methods of cut-elimination
  • PDF
  • English
  • Year: 2011.
  • Author: Matthias Baaz, Alexander Leitsch.
Automated Model Building
  • PDF
  • English
  • Year: 2004
  • Author: Ricardo Caferra, Alexander Leitsch, Nicholas Peltier
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • PDF
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
Polen und Österreich im 17. Jahrhundert
  • PDF
  • German
  • Year: 1999
  • Author: Walter Leitsch; Stanislaw Trawkowski
IFRS – leicht gemacht: Eine Einführung in die International Financial Reporting Standards
  • PDF
  • German
  • Year: 2022
  • Author: Kudert, Stephan; Sorg, Peter; Höppner, Dino; Leitsch, Sebastian
search