Home Advanced Search

Advanced Search - Page 1

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.)
Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Patrick Cousot (auth.), Radhia Cousot (eds.)
Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Martin Rinard (auth.), Patrick Cousot (eds.)
Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Toby Walsh (eds.)
Principles of abstract interpretation
  • EPUB
  • English
  • Year: 2021
  • Author: Patrick Cousot
Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Andrew Eremin, Mark Wallace (auth.), Toby Walsh (eds.)
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.)
It’s Alive! Artificial Intelligence from the Logic Piano to Killer Robots
  • EPUB
  • English
  • Year: 2017
  • Author: Toby Walsh
To żyje! Sztuczna inteligencja. Od logicznego fortepianu po zabójcze roboty
  • PDF
  • Polish
  • Year: 2018
  • Author: Walsh Toby
Android Dreams: The Past, Present and Future of Artificial Intelligence
  • PDF
  • English
  • Year: 2017
  • Author: Toby Walsh
search