Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=Andrei Voronkov
cover
Logic for Programming, Artificial Intelligence, and Reasoning: 20th Internati…
Comment Share
Martin DavisAnsgar FehnkerAnnabelle McIverAndrei Voronkov

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programmin…

Edition
-
ISBN/ISSN
978-3-662-48899-7
Collation
-
Series Title
-
Call Number
-
cover
Logic for Programming, Artificial Intelligence, and Reasoning: 20th Internati…
Comment Share
Martin DavisAnsgar FehnkerAnnabelle McIverAndrei Voronkov

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming,…

Edition
-
ISBN/ISSN
978-3-662-48899-7
Collation
-
Series Title
-
Call Number
-