Cover is for reference only

Logic for programming, artificial intelligence, and resoning：11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: LPAR 2004 (2005 Montevideo, Uruguay); LINK (Online service)
Group Author: Baader Franz.; Voronkov A.; (Andreĭ), 1959-
Published: Springer,
Publisher Address: Berlin
Publication Dates: c2005.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3452
Subjects:
Logic programming
Automatic theorem proving
Artificial intelligence
Online Access: http://dx.doi.org/10.1007/b106931
Carrier Form: xi, 562 p.: ill.
Index Number: TP311
CLC: TP311-532
TP181-532
Contents: Includes bibliographical references and index.

Related Book Recommendations