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.)
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.)
Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzisław Pawlak, Part II
  • PDF
  • English
  • Year: 2007
  • Author: Andrzej Czyzewski (auth.), James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orłowska, Roman Słowiński, Wojciech Ziarko (eds.)
search