Image de couverture de livre

Summary goes here

Enregistré dans:
Détails bibliographiques
Format: Livre
Langue:anglais
Sujets:
Automatic theorem proving.
Computational complexity.
NP-complete problems.
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

UMSL TJL General Collection Level 4

Informations d'exemplaires de UMSL TJL General Collection Level 4
Cote: QA267 .S83 1995
Exemplaire 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-10-24T01:16:31.506327173Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-24T01:16:31.705002674Z"}

MU Library Depository 2

Informations d'exemplaires de MU Library Depository 2
Cote: ENGR QA76 .L43 1001
Exemplaire 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-10-24T01:16:31.506327173Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-24T01:16:31.701296841Z"}