Home Advanced Search

Advanced Search - Page 1

Parallelization in Inference Systems: International Workshop Dagstuhl Castle, Germany, December 17–18, 1990 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Franz Kurfeß (auth.), B. Fronhöfer, G. Wrightson (eds.)
Introduction to Many-Valued Logics
  • PDF
  • English
  • Author: Fronhöfer B.
Dynamic Worlds: From the Frame Problem to Knowledge Management
  • PDF
  • English
  • Year: 1999
  • Author: Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)
Polysaccharide
  • PDF
  • German
  • Year: 1991
  • Author: G. Franz (auth.), Professor Dr. Gerhard Franz (eds.)
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
  • PDF
  • English
  • Year: 1983
  • Author: L. Wos, L. Henschen (auth.), Jörg H. Siekmann, Graham Wrightson (eds.)
Polysaccharide: Eigenschaften und Nutzung Eine Einfuhrung
  • PDF
  • German
  • Year: 1985
  • Author: G. Franz (auth.), Professor Dr. Walther Burchard (eds.)
The Modern Management of Mental Handicap: A Manual of Practice
  • PDF
  • English
  • Year: 1980
  • Author: G. B. Simon (auth.), G. B. Simon (eds.)
Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
  • PDF
  • English
  • Year: 1983
  • Author: Jӧrg Siekmann and Graham Wrightson (eds.)
Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
  • DJVU
  • English
  • Year: 1983
  • Author: Jӧrg Siekmann and Graham Wrightson (eds.)