Logic for programming, artificial intelligence, and reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings /

Bibliographic Details
Corporate Authors: LPAR (Conference), SpringerLink (Online service)
Other Authors: Cervesato, Iliano, Veith, Helmut, Voronkov, Andrei, 1959-
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer-Verlag, [2008]
Series:LNCS sublibrary. Artificial intelligence.
Lecture notes in computer science ; 5330.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.63 .L63 2008eb
 
Call Number Status Get It
QA76.63 .L63 2008eb Available