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

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

Label
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
Title
Logic for programming, artificial intelligence, and reasoning
Title remainder
14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
Statement of responsibility
Nachum Dershowitz, Andrei Voronkov (eds.)
Title variation
LPAR 2007
Creator
Contributor
Subject
Genre
Language
eng
Member of
Additional physical form
Also issued online.
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.63
LC item number
.L735 2007
Literary form
non fiction
Nature of contents
bibliography
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
4790.
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings, Nachum Dershowitz, Andrei Voronkov (eds.)
Label
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings, Nachum Dershowitz, Andrei Voronkov (eds.)
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9783540755586&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b2401149'}
Extent
xiii, 562 p.
Isbn
9783540755586
Isbn Type
(softcover : alk. paper)
Lccn
2007937099
Other physical details
ill.
System control number
(OCoLC)174167992

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...