Coverart for item
The Resource Handbook of automated reasoning, Volume II, editors, Alan Robinson and Andrei Voronkov

Handbook of automated reasoning, Volume II, editors, Alan Robinson and Andrei Voronkov

Label
Handbook of automated reasoning, Volume II
Title
Handbook of automated reasoning
Title number
Volume II
Statement of responsibility
editors, Alan Robinson and Andrei Voronkov
Contributor
Subject
Genre
Language
eng
Cataloging source
UMI
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • handbooks
http://library.link/vocab/relatedWorkOrContributorDate
1959-
http://library.link/vocab/relatedWorkOrContributorName
  • Robinson, J. A.
  • Voronkov, A.
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Qualitative reasoning
Label
Handbook of automated reasoning, Volume II, editors, Alan Robinson and Andrei Voronkov
Link
http://databases.mvlc.org/connect/safari?uiCode=&xmlId=9780444508133
Instantiates
Publication
Copyright
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
ocn824488329
Dimensions
unknown
Extent
1 online resource (xxv, 963-2122 pages)
Form of item
  • online
  • electronic
Isbn
9780080532790
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
Stock number
CL0500000190
Label
Handbook of automated reasoning, Volume II, editors, Alan Robinson and Andrei Voronkov
Link
http://databases.mvlc.org/connect/safari?uiCode=&xmlId=9780444508133
Publication
Copyright
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
ocn824488329
Dimensions
unknown
Extent
1 online resource (xxv, 963-2122 pages)
Form of item
  • online
  • electronic
Isbn
9780080532790
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
Stock number
CL0500000190

Library Locations

    • Merrimack Valley Library ConsortiumBorrow it
      4 High Street, Suite 175, North Andover, MA, 01845, US
      42.7009413 -71.1255084
Processing Feedback ...