Jump to main content

yr 〜
yr

Search results 15

Algorithmic decision theory : 4th international conference, ADT 2015 : Lexington, KY, USA, September 27-30, 2015 : proceedings : ADT-2015 : ADT-15 : Sep 2015, Lexington, KY. (Lecture Notes in Computer Science ; 9346. Lecture Notes in Artificial Intelligence)

Algorithmic decision theory : 4th international conference, ADT 2015 : Lexington, KY, USA, September 27-30, 2015 : proceedings : ADT-2015 : ADT-15 : Sep 2015, Lexington, KY. (Lecture Notes in Computer Science ; 9346. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-767>
National Diet Library
  • Author HeadingADT (Conference) (4th : 2015 : Lexington, Ky.) Walsh, Toby.

Proceedings of the twenty-second international joint conference on artificial intelligence : IJCAI-11 : Barcelona, Catalonia, Spain, 16-22 July 2011 : Jul 2011, Barcelona, Spain.

Proceedings of the twenty-second international joint conference on artificial intelligence : IJCAI-11 : Barcelona, Catalonia, Spain, 16-22 July 2011 : Jul 2011, Barcelona, Spain.
Paper図書
International Joint Conferences on Artificial Intelligencec2011.<M17-12-1698>
National Diet Library
  • Author Heading...celona, Spain) Walsh, Toby. International Joint Conferen...

Handbook of satisfiability pt. 2 2nd ed

Handbook of satisfiability pt. 2 2nd ed
Paper図書
edited by Armin Biere ... [et al.]IOS Pressc2021
Other Libraries in Japan
  • Author HeadingBiere, Armin Heule, Marijn Maaren, Hans van Walsh, Toby

Machines that think : the future of artificial intelligence

Machines that think : the future of artificial intelligence
Paper図書
Toby WalshPrometheus Books2018
Other Libraries in Japan
  • Author HeadingWalsh, Toby

Android dreams : the past, present and future of artificial intelligence

Android dreams : the past, present and future of artificial intelligence
Paper図書
Toby WalshHurst2017
Other Libraries in Japan
  • Author HeadingWalsh, Toby

Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings

Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings
Paper図書
Serge Gaspers, Toby Walsh (eds.)Springerc2017
Other Libraries in Japan
  • Author Heading...Gaspers, Serge Walsh, Toby

Principles and practice of constraint programming -- CP 2001 : 7th international conference, CP 2001 : Paphos, Cyprus, November 26-December 1, 2001 : proceedings. : Nov 2001, Paphos, Cyprus. (Lecture Notes in Computer Science ; 2239)

Principles and practice of constraint programming -- CP 2001 : 7th international conference, CP 2001 : Paphos, Cyprus, November 26-December 1, 2001 : proceedings. : Nov 2001, Paphos, Cyprus. (Lecture Notes in Computer Science ; 2239)
Paper図書
Springerc2001.<M17-03-2364>
National Diet Library
  • Author HeadingWalsh, Toby. CP 2001 (2001 : Paphos, Cypr...

IJCAI-11 : proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, 16-22 July 2011 : set v. 1 v. 2 v. 3

IJCAI-11 : proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, 16-22 July 2011 : set v. 1 v. 2 v. 3
Paper図書
edited by Toby WalshAAAI Pressc2011
Other Libraries in Japan
  • Author HeadingInternational Joint Conference on Artificial Intelligence Walsh, Toby

Handbook of satisfiability

Handbook of satisfiability
Paper図書
edited by Armin Biere ... [et al.]IOS Pressc2009
Other Libraries in Japan
  • Author HeadingBiere, Armin Heule, Marijn Maaren, Hans van Walsh, Toby

Handbook of constraint programming

Handbook of constraint programming
Paper図書
edited by Francesca Rossi, Peter van Beek, Toby WalshElsevier2006
Other Libraries in Japan
  • Author HeadingRossi, Francesca Van Beek, Peter Walsh, Toby

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
Paper図書
Fahiem Bacchus, Toby Walsh (eds.)Springerc2005
Other Libraries in Japan
  • Author Heading...acchus, Fahiem Walsh, Toby

Using uncertainty within computation : papers from the 2001 AAAI Fall Symposium, November 2-4, North Falmouth, Massachusetts

Using uncertainty within computation : papers from the 2001 AAAI Fall Symposium, November 2-4, North Falmouth, Massachusetts
Paper図書
Carla Gomes and Toby WalshAAAI Pressc2001
Other Libraries in Japan
  • Author HeadingAAAI Fall Symposium Gomes, Carla Walsh, Toby

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
Paper図書
Toby Walsh (ed.)Springerc2001
Other Libraries in Japan
  • Author HeadingInternational Conference on Principles and Practice of Constraint Programming Walsh, Toby

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
Paper図書
Berthe Y. Choueiry, Toby Walsh (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingSARA Choueiry, Berthe Y. Walsh, Toby

SAT2000 : highlights of satisfiability research in the year 2000 : IOS Press : Ohmsha

SAT2000 : highlights of satisfiability research in the year 2000 : IOS Press : Ohmsha
Paper図書
edited by Ian Gent, Hans van Maaren and Toby WalshIOS Press2000
Other Libraries in Japan
  • Author HeadingGent, Ian Maaren, Hans van Walsh, Toby

Reached to the end of result.

RSS