Home Advanced Search

Advanced Search - Page 1

Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Mark A. Brown (auth.), Alessio Lomuscio, Donald Nute (eds.)
Topics in Conditional Logic
  • PDF
  • English
  • Year: 1980
  • Author: Donald Nute (auth.)
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2005
  • Author: Bożena Woźna, Alessio Lomuscio (auth.), João Leite, Paolo Torroni (eds.)
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2007
  • Author: Piergiorgio Bertoli, Marco Bozzano (auth.), Stefan Edelkamp, Alessio Lomuscio (eds.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2002
  • Author: Donald Nute, Charles B. Cross (auth.), D. M. Gabbay, F. Guenthner (eds.)
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2007
  • Author: Stefan Edelkamp, Alessio Lomuscio
Service-Oriented Computing – ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Alessio R. Lomuscio, Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandić (eds.)
Sustainable Development: Science, Ethics, and Public Policy
  • PDF
  • English
  • Year: 1995
  • Author: Donald A. Brown, John Lemons (auth.), John Lemons, Donald A. Brown (eds.)
Prolog programming in depth
  • DJVU
  • English
  • Year: 1996
  • Author: Michael A. Covington, Donald Nute, Andre Vellino
Single-Cell Mutation Monitoring Systems: Methodologies and Applications
  • PDF
  • English
  • Year: 1984
  • Author: George Stamatoyannopoulos, Peter Nute (auth.), Aftab A. Ansari, Frederick J. de Serres (eds.)
search