Buchumschlag

Summary goes here

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:Englisch
Schlagworte:
Artificial intelligence.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Mathematics
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

LINC General Stacks

Bestandsangaben von LINC General Stacks
Signatur: QA76.95 .B86 1983
Exemplar 0 AVAILABLE
Anmerkungen:
  • 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-09-12T14:36:09.353595668Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-09-12T14:36:09.922830059Z"}

LIND Circulating Books

Bestandsangaben von LIND Circulating Books
Signatur: QA76.95 .B86 1983
Exemplar 1 AVAILABLE
Anmerkungen:
  • 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-09-12T14:36:09.353595668Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-09-12T14:36:09.854920104Z"}

Missouri S&T Remote Storage

Bestandsangaben von Missouri S&T Remote Storage
Signatur: QA76.95 .B86 1983
Exemplar 2 AVAILABLE
Anmerkungen:
  • 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-09-12T14:36:09.353595668Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-09-12T14:36:09.825645461Z"}

MU Library Depository 1

Bestandsangaben von MU Library Depository 1
Signatur: ENGR Q335 .B88 1983
Exemplar 3 AVAILABLE
Anmerkungen:
  • 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-09-12T14:36:09.353595668Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-09-12T14:36:09.825179150Z"}