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
Description
Item Description:Electronic resource.
Bibliography:Includes bibliographical references and index.
ISBN:354089439X
9783540894391
DOI:10.1007/978-3-540-89439-1