Home Advanced Search

Advanced Search - Page 1

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.)
Logic: A Brief Course
  • PDF
  • English
  • Year: 2012
  • Author: Daniele Mundici (auth.)
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Logic: A Brief Course
  • EPUB
  • English
  • Year: 2012
  • Author: Mundici, Daniele
Logic: a brief course
  • PDF
  • English
  • Year: 2012
  • Author: Mundici, Daniele
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
  • PDF
  • English
  • Year: 1997
  • Author: E. G. Beltrametti (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem (eds.)
Höllen-Inszenierung „Wrestling“: Beiträge zur pädagogischen Genre-Forschung
  • PDF
  • German
  • Year: 1996
  • Author: Ben Bachmair (auth.), Dr. Ben Bachmair, Dr. Gunther Kress (eds.)
Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)
Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Georg Gottlob (auth.), Craig MacNish, David Pearce, Luís Moniz Pereira (eds.)
search