Cover is for reference only

Logic for programming, artificial intelligence, and reasoning：13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: LPAR 2006 (2006 Phnom Penh, Cambodia)
Group Author: Voronkov A.; (Andreĭ), 1959-; Hermann Miki, 1958-
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2006.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 4246.
Subjects:
Automatic theorem proving
Artificial intelligence
Logic programming
Carrier Form: xiii, 588 p.: ill. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 3540482814 (pbk.)
9783540482819 (pbk.)
Index Number: TP311
CLC: TP311-532
Call Number: TP311-532/I613/2006
Contents: Includes bibliographical references and index.

Related Book Recommendations