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

Saved in:
Bibliographic Details
Corporate Authors: LPAR 2004 (2005 Mar. 14-18 Montevideo, Uruguay)
Group Author: Voronkov A.; (Andreĭ), 1959-; Baader Franz.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2005.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3452.
Subjects:
Carrier Form: xi, 562 p.: ill. ; 24 cm.
Publication Frequency: Also issued online.
ISBN: 3540252363
9783540252368
Index Number: TP181
CLC: TP181-532
TP311-532
Call Number: TP311-532/I613/2004
Contents: Includes bibliographical references and index.