Home Advanced Search

Advanced Search - Page 1

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: V. Michele Abrusci (auth.), Marta Cialdea Mayer, Fiora Pirri (eds.)
Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter
  • PDF
  • English
  • Year: 1999
  • Author: Richard Rosemberg (auth.), Prof. Dr. Hector J. Levesque, Prof. Dr. Fiora Pirri (eds.)
Gas Flow and Chemical Lasers
  • PDF
  • English
  • Year: 1985
  • Author: Petras V. Avizonis (auth.), Michele Onorato (eds.)
Logica: dimostrazioni e modelli al primo ordine
  • PDF
  • Italian
  • Year: 2014
  • Author: Vito Michele Abrusci, Lorenzo Tortora de Falco
Logica: Volume 2 - Incompletezza, teoria assiomatica degli insiemi
  • PDF
  • Italian
  • Year: 2018
  • Author: Vito Michele Abrusci, Lorenzo Tortora de Falco
Enzymatic and Model Carboxylation and Reduction Reactions for Carbon Dioxide Utilization
  • PDF
  • English
  • Year: 1990
  • Author: Michele Aresta (auth.), M. Aresta, J. V. Schloss (eds.)
Zweistromland: Kleinere Schriften zu Glauben und Denken
  • PDF
  • English
  • Year: 1984
  • Author: Annemarie Mayer, Reinhold Mayer (auth.), Annemarie Mayer, Reinhold Mayer (eds.)
Friedrich Engels Schriften der Frühzeit: Aufsätze, Korrespondenzen, Briefe, Dichtungen aus den Jahren 1838–1844 nebst einigen Karikaturen und einem unbekannten Jugendbildnis des Verfassers
  • PDF
  • German
  • Year: 1920
  • Author: Gustav Mayer (auth.), Gustav Mayer (eds.)
Lassalles Briefwechsel mit Gräfin Sophie von Hatƶfeldt
  • PDF
  • German
  • Year: 1924
  • Author: Gustav Mayer (auth.), Gustav Mayer (eds.)
Friedrich Engels Schriften der Frühzeit: Aufsätze, Korrespondenzen, Briefe, Dichtungen aus den Jahren 1838–1844 nebst einigen Karikaturen und einem unbekannten Jugendbildnis des Verfassers
  • PDF
  • German
  • Year: 1920
  • Author: Gustav Mayer (auth.), Gustav Mayer (eds.)
search