Logic for programming, artificial intelligence, and reasoning 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings / Nachum Dershowitz, Andrei Voronkov (eds.).

Author/creator LPAR (Conference)
Other author Dershowitz, Nachum.
Other author Voronkov, Andrei, 1959-
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionxiii, 562 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Logic programming--Congresses.
Artificial intelligence--Congresses.
Automatic theorem proving--Congresses.

SeriesLectures notes in computer science
Lecture notes in artificial intelligence ; 4790
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2007937099
ISBN9783540755586 (softcover : alk. paper)
ISBN3540755586 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available