Coverart for item
The Resource Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings, Miki Hermann, Andrei Voronkov (eds.)

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings, Miki Hermann, Andrei Voronkov (eds.)

Label
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Title
Logic for programming, artificial intelligence, and reasoning
Title remainder
13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Statement of responsibility
Miki Hermann, Andrei Voronkov (eds.)
Title variation
LPAR 2006
Creator
Contributor
Subject
Genre
Language
eng
Member of
Additional physical form
Also issued online.
Cataloging source
OHX
Illustrations
illustrations
Index
index present
LC call number
QA76.63
LC item number
.L735 2006
Literary form
non fiction
Nature of contents
bibliography
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
4246.
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings, Miki Hermann, Andrei Voronkov (eds.)
Label
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings, Miki Hermann, 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=9783540482819&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b2160639'}
Extent
xiii, 588 p.
Isbn
9783540482819
Isbn Type
(pbk.)
Lccn
2006934988
Other physical details
ill.
System control number
(OCoLC)74650748

Library Locations

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