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.)
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.)
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier (auth.), Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (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
Machines That Think: The Future of Artificial Intelligence
  • EPUB
  • English
  • Year: 2018
  • Author: Toby Walsh
It's alive!: artificial intelligence from the logic piano to killer robots
  • EPUB
  • English
  • Year: 2017
  • Author: Walsh, Toby
search