Author books / Книги автора Toby Walsh » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Toby Walsh » Page 2

book It’s Alive! Artificial Intelligence from the Logic Piano to Killer Robots

It’s Alive! Artificial Intelligence from the Logic Piano to Killer Robots

epub

Author: Toby Walsh
Language: English
Year: 2017

00

30.01.2024

0

0

book Machines That Think: The Future of Artificial Intelligence

Machines That Think: The Future of Artificial Intelligence

epub

Author: Toby Walsh
Language: English
Year: 2018

00

29.01.2024

0

0

book Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

pdf

Author: Fahiem Bacchus Toby Walsh
Language: English
Year: 2005

00

29.01.2024

0

0

book A short Introduction to Preferences. Between AI and Social Choice

A short Introduction to Preferences. Between AI and Social Choice

pdf

Author: Francesca Rossi Kristen Brent Venable Toby Walsh
Language: English
Year: 2011

00

29.01.2024

0

0

book Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

pdf

Author: Toby Walsh (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

pdf

Author: Andrew Eremin Mark Wallace (auth.) Toby Walsh (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

pdf

Author: Patrick Cousot (auth.) Berthe Y. Choueiry Toby Walsh (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

pdf

Author: Josep Argelich Felip Manyà (auth.) Fahiem Bacchus Toby Walsh (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

pdf

Author: Claude-Guy Quimper Toby Walsh (auth.) Brahim Hnich Mats Carlsson François Fages Francesca Rossi (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

pdf

Author: Toby Walsh (auth.) Jürgen Dix João Leite Guido Governatori Wojtek Jamroga (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0