Azala

Summary goes here

Gorde:
Xehetasun bibliografikoak
Formatua: Liburua
Hizkuntza:ingelesa
Gaiak:
Artificial intelligence.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Mathematics
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

LINC General Stacks

Aleari buruzko argibideak LINC General Stacks
Sailkapena: QA76.95 .B86 1983
Alea 0 AVAILABLE
Oharrak:
  • 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-07-12T05:16:43.171914679Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-07-12T05:16:43.581800101Z"}

LIND Circulating Books

Aleari buruzko argibideak LIND Circulating Books
Sailkapena: QA76.95 .B86 1983
Alea 1 AVAILABLE
Oharrak:
  • 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-07-12T05:16:43.171914679Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-07-12T05:16:43.577723875Z"}

Missouri S&T Remote Storage

Aleari buruzko argibideak Missouri S&T Remote Storage
Sailkapena: QA76.95 .B86 1983
Alea 2 AVAILABLE
Oharrak:
  • 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-07-12T05:16:43.171914679Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-07-12T05:16:43.361230277Z"}

MU Library Depository 1

Aleari buruzko argibideak MU Library Depository 1
Sailkapena: ENGR Q335 .B88 1983
Alea 3 AVAILABLE
Oharrak:
  • 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-07-12T05:16:43.171914679Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-07-12T05:16:43.360829915Z"}