Home Advanced Search

Advanced Search - Page 1

Nonmonotonic and Inductive Logic: 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Gerhard Brewka, David Makinson, Karl Schlechta (auth.), J. Dix, K. P. Jantke, P. H. Schmitt (eds.)
Nonmonotonic and Inductive Logic: Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Gerd Brewka, Jürgen Dix, Kurt Konolige (auth.), Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (eds.)
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Guntis Barzdins (auth.), H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel (eds.)
Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers
  • DJVU
  • English
  • Year: 1998
  • Author: Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers
  • PDF
  • English
  • Year: 1998
  • Author: Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers
  • PDF
  • English
  • Year: 1998
  • Author: Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Analogical and Inductive Inference: International Workshop All '86 Wendisch-Rietz, GDR, October 6–10, 1986 Proceedings
  • PDF
  • English
  • Year: 1987
  • Author: Robert P. Daley (auth.), Klaus P. Jantke (eds.)
Analogical and Inductive Inference: International Workshop All '86 Wendisch-Rietz, GDR, October 6–10, 1986 Proceedings
  • DJVU
  • English
  • Year: 1987
  • Author: Robert P. Daley (auth.), Klaus P. Jantke (eds.)
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985
  • DJVU
  • English
  • Year: 1986
  • Author: J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Johan van Benthem (auth.), Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira (eds.)
search