Coverart for item
The Resource Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings, Matthias Baaz, Andrei Voronkov (eds.)

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings, Matthias Baaz, Andrei Voronkov (eds.)

Label
Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Title
Logic for programming, artificial intelligence, and reasoning
Title remainder
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Statement of responsibility
Matthias Baaz, Andrei Voronkov (eds.)
Title variation
LPAR 2002
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
UKM
Dewey number
006.3
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
LPAR (Conference)
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1959-
http://library.link/vocab/relatedWorkOrContributorName
  • Baaz, Matthias
  • Voronkov, Andrei
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
2514.
http://library.link/vocab/subjectName
  • Logic programming
  • Artificial intelligence
  • Automatic theorem proving
Label
Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings, Matthias Baaz, Andrei Voronkov (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
50941558
Dimensions
24 cm
Extent
xiii, 463 pages
Isbn
9783540000105
Lccn
2002036467
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings, Matthias Baaz, Andrei Voronkov (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
50941558
Dimensions
24 cm
Extent
xiii, 463 pages
Isbn
9783540000105
Lccn
2002036467
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...