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

Saved in:
Bibliographic Details
Corporate Authors: LPAR (Conference) (2008 Dawhah, Qatar); SpringerLink (Online service)
Group Author: Veith Helmut.; Voronkov A.; (Andreĭ), 1959-; Cervesato Iliano.
Published: Springer-Verlag,
Publisher Address: Berlin
Publication Dates: c2008.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 5330.
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-540-89439-1
Carrier Form: 1 online resource (711 p.): ill.
ISBN: 9783540894391 (electronic bk.)
354089439X (electronic bk.)
Index Number: TP311
CLC: TP311-532
Contents: Includes bibliographical references and index.