Home Advanced Search

Advanced Search - Page 1

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.)
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.)
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.)
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II
  • PDF
  • English
  • Year: 2002
  • Author: Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà , Franco Turini (auth.), Antonis C. Kakas, Fariba Sadri (eds.)
AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Stefano Ferilli, Nicola Di Mauro, Teresa M. A. Basile, Floriana Esposito (auth.), Amedeo Cappelli, Franco Turini (eds.)
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
search