Cover is for reference only

Logic for programming and automated reasoning：7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Logic for Programming and Automated Reasoning (7th 2000 Reunion Island, France)
Group Author: Voronkov A.; (Andreĭ), 1959-; Parigot Michel, 1956-
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: 2000.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1955.
Subjects:
Automatic theorem proving
Logic programming
Carrier Form: xiii, 486 p.: ill. ; 24 cm.
ISBN: 3540412859 (softcover : alk. paper)
Index Number: TP311
CLC: TP311-532
TP181-532
Call Number: TP311-532/I613-3/2000
Contents: Includes bibliographical references and index.

Related Book Recommendations