Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Automatic theorem proving.
Computational complexity.
NP-complete problems.
Tags: Add Tag
No Tags, Be the first to tag this record!

UMSL TJL General Collection Level 4

Holdings details from UMSL TJL General Collection Level 4
Call Number: QA267 .S83 1995
Copy 0 AVAILABLE
Notes:
  • json {"id":"fb443f2f-68d6-5c85-a997-b050b753d2b6","status":{"code":"AVAILABLE"},"location":{"code":"SJLEVEL4","name":"UMSL TJL General Collection Level 4"},"barcode":"060-102200253","callNumber":"QA267 .S83 1995","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-07T18:28:23.049116472Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-07T18:28:23.292914307Z"}

MU Library Depository 2

Holdings details from MU Library Depository 2
Call Number: ENGR QA76 .L43 1001
Copy 1 AVAILABLE
Notes:
  • json {"id":"59b48296-93fd-5708-8cde-ae35130c7a2c","status":{"code":"AVAILABLE"},"location":{"code":"UMLDUMC2","name":"MU Library Depository 2"},"barcode":"305084111006","callNumber":"ENGR QA76 .L43 1001","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-07T18:28:23.049116472Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-07T18:28:23.287137444Z"}