Logic for programming and automated reasoning: 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings
Saved in:
Bibliographic Details
Format: Conference Proceeding Book
Language:English
Published: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000
Series:Lecture notes in computer science 1955 : Lecture notes in artificial intelligence
Subjects:
Physical Description:XIII, 486 S.
ISBN:3540412859

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!