Custom cover image
Custom cover image

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings / edited by Robert Nieuwenhuis, Andrei Voronkov

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 2250Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Description: Online-RessourceISBN:
  • 9783540456537
  • 3540429573
Other title:
  • LPAR 2001
Subject(s): Genre/Form: Additional physical formats: 9783540429579 | Buchausg. u.d.T.: Logic for programming, artificial intelligence, and reasoning. Berlin : Springer, 2001. XV, 738 SMSC: MSC: *03-06 | 00B25 | 68-06 | 03B70 | 68T27 | 68N30RVK: RVK: SS 4800LOC classification:
  • Q334-342
  • TJ210.2-211.495
DOI: DOI: 10.1007/3-540-45653-8Online resources: Summary: This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planningPPN: PPN: 1649263376Package identifier: Produktsigel: ZDB-2-BAE | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT