Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Michael R. Dransfield, Victor W. Marek (auth.), Enrico Giunchiglia, Armando Tacchella (eds.)
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Michael R. Dransfield, Victor W. Marek (auth.), Enrico Giunchiglia, Armando Tacchella (eds.)
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Enrico Giunchiglia, Armando Tacchella
Agents Breaking Away: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22–25, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Fausto Giunchiglia, Enrico Giunchiglia (auth.), Walter Van de Velde, John W. Perram (eds.)
Advances in Artificial Intelligence: Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93 Torino, Italy, October 26–28, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Mauro Di Manzo, Enrico Giunchiglia (auth.), Pietro Torasso (eds.)
Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions
  • PDF
  • English
  • Year: 2003
  • Author: Alexander Artikis, Marek Sergot, Jeremy Pitt (auth.), Fausto Giunchiglia, James Odell, Gerhard Weiß (eds.)
Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions
  • PDF
  • English
  • Year: 2003
  • Author: Alexander Artikis, Marek Sergot, Jeremy Pitt (auth.), Fausto Giunchiglia, James Odell, Gerhard Weiß (eds.)
Introduction to mathematics of satisfiability
  • PDF
  • English
  • Year: 2009
  • Author: Victor W. Marek
Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics)
  • PDF
  • English
  • Year: 2009
  • Author: Victor W. Marek
The Logic Programming Paradigm: A 25-Year Perspective
  • PDF
  • English
  • Year: 1999
  • Author: Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini (auth.), Prof. Krzysztof R. Apt, Prof. Victor W. Marek, Prof. Mirek Truszczynski, Prof. David S. Warren (eds.)
search