Imatge de la portada

Summary goes here

Guardat en:
Dades bibliogràfiques
Format: Llibre
Idioma:anglès
Matèries:
Artificial intelligence.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Mathematics
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

LINC General Stacks

Detall dels fons de LINC General Stacks
Signatura: QA76.95 .B86 1983
Còpia 0 AVAILABLE
Notes:
  • json {"id":"6e4f9e6c-f3c3-50c8-b3be-d24c23a38a5a","status":{"code":"AVAILABLE"},"location":{"code":"LINC-GenStk","name":"LINC General Stacks"},"barcode":"36463000625291","callNumber":"QA76.95 .B86 1983","sourceHostLmsCode":"LINCOLN_UNIVERSITY","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-01-30T05:33:41.908002711Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-01-30T05:33:42.161442714Z"}

LIND Circulating Books

Detall dels fons de LIND Circulating Books
Signatura: QA76.95 .B86 1983
Còpia 1 AVAILABLE
Notes:
  • json {"id":"354a5333-9d68-5f45-a6ef-af60bd35c772","status":{"code":"AVAILABLE"},"location":{"code":"LIND-CircBk","name":"LIND Circulating Books"},"barcode":"37150000227413","callNumber":"QA76.95 .B86 1983","sourceHostLmsCode":"LINDENWOOD_UNIVERSITY","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-01-30T05:33:41.908002711Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-01-30T05:33:42.436757541Z"}

Missouri S&T Remote Storage

Detall dels fons de Missouri S&T Remote Storage
Signatura: QA76.95 .B86 1983
Còpia 2 AVAILABLE
Notes:
  • json {"id":"be2421db-83f1-510f-bb1f-5c76bfe580b6","status":{"code":"AVAILABLE"},"location":{"code":"UMLDMST","name":"Missouri S&T Remote Storage"},"barcode":"102091506012","callNumber":"QA76.95 .B86 1983","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-01-30T05:33:41.908002711Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-01-30T05:33:42.135523052Z"}

MU Library Depository 1

Detall dels fons de MU Library Depository 1
Signatura: ENGR Q335 .B88 1983
Còpia 3 AVAILABLE
Notes:
  • json {"id":"8736e226-afba-5bca-acd8-bb9b6103c8f3","status":{"code":"AVAILABLE"},"location":{"code":"UMLDUMC1","name":"MU Library Depository 1"},"barcode":"109021611003","callNumber":"ENGR Q335 .B88 1983","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-01-30T05:33:41.908002711Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-01-30T05:33:42.135007438Z"}

Pius Library

Detall dels fons de Pius Library
Signatura: QA76.95 .B86 1983
Còpia 4 AVAILABLE
Notes:
  • json {"id":"1079029","status":{"code":"AVAILABLE"},"location":{"code":"pgen","name":"Pius Library"},"barcode":"210-000073878","callNumber":"QA76.95 .B86 1983","hostLmsCode":"STLOUIS_UNIVERSITY","sourceHostLmsCode":"STLOUIS_UNIVERSITY","owningContext":"STLOUIS_UNIVERSITY","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-01-30T05:33:41.908002711Z","localItemType":"Monograph","canonicalItemType":"CIRC","localItemTypeCode":"0","agency":{"code":"6sluu","name":"Saint Louis University","description":"Saint Louis University"},"statusCorrectAsOf":"2026-01-30T05:33:42.173646396Z"}

Dewey Collection

Detall dels fons de Dewey Collection
Signatura: 511.3 B882c
Còpia 5 AVAILABLE
Notes:
  • json {"id":"1003137","status":{"code":"AVAILABLE"},"location":{"code":"skmdd","name":"Dewey Collection"},"barcode":"31955000032902","callNumber":"511.3 B882c","hostLmsCode":"SEMO","sourceHostLmsCode":"SEMO","owningContext":"SEMO","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-01-30T05:33:41.908002711Z","localItemType":"MONOGRAPH","canonicalItemType":"CIRC","localItemTypeCode":"0","agency":{"code":"6semo","name":"Southeast Missouri State University","description":"Southeast Missouri State University"},"statusCorrectAsOf":"2026-01-30T05:33:42.157166486Z"}