Geoff Sutcliffe – författare

Visar alla böcker från författaren Geoff Sutcliffe. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Automated Deduction – CADE 28

   28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

   Av André Platzer, Geoff Sutcliffe

   Häftad, 2021

   455 kr

   Lägg i varukorg

   This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is …

2. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

   Av Geoff Sutcliffe, Andrei Voronkov

   Häftad, 2005

   1126 kr

   Lägg i varukorg

   This volume containsthe full papers presentedat the 12th InternationalConf- ence on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held 2-6 December 2006,in MontegoBay,Jamaica.The callfor papersattracted 108 full paper submissions, each of which were reviewed by at least three …

3. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

   Av Andrei Voronkov, Geoff Sutcliffe

   E-bok, 2005

   1502 kr

   Lägg i varukorg