Home Advanced Search

Advanced Search - Page 1

Fundamentals of Artificial Intelligence Research: International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings
  • PDF
  • English
  • Year: 1991
  • Author: Ricardo Caferra, Michel Herment (auth.), Philippe Jorrand, Jozef Kelemen (eds.)
Logic for Computer Science and Artificial Intelligence
  • PDF
  • English
  • Author: Ricardo Caferra(auth.)
Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2005
  • Author: Philippe Jorrand, Marie Lalire (auth.), Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel (eds.)
Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions
  • DJVU
  • English
  • Year: 1987
  • Author: Juraj Hromkovič (auth.), Alica Kelemenová, Jozef Kelemen (eds.)
Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions
  • PDF
  • English
  • Year: 1987
  • Author: Juraj Hromkovič (auth.), Alica Kelemenová, Jozef Kelemen (eds.)
Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2011
  • Author: Solomon Marcus (auth.), Jozef Kelemen, Alica Kelemenová (eds.)
Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2011
  • Author: Solomon Marcus (auth.), Jozef Kelemen, Alica Kelemenová (eds.)
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (eds.)
Logique pour l'informatique et pour l'intelligence artificielle
  • DJVU
  • French
  • Year: 2010
  • Author: Ricardo Caferra
Logic for computer science and artificial intelligence
  • PDF
  • English
  • Year: 2011
  • Author: Caferra, Ricardo
search