Imaxe de Portada

Summary goes here

Gardado en:
Detalles Bibliográficos
Formato: Libro
Idioma:inglés
Subjects:
Kowalski, Robert.
Automatic theorem proving.
Logic programming.
Logic programming languages.
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

UMSL TJL General Collection Level 4

Detalle de Existencias desde UMSL TJL General Collection Level 4
Número de Clasificación: QA76.63 .C64 2002
Copia 0 AVAILABLE
Notes:
  • json {"id":"cdcb68b7-6d54-51b1-8323-1545d85c9b95","status":{"code":"AVAILABLE"},"location":{"code":"SJLEVEL4","name":"UMSL TJL General Collection Level 4"},"barcode":"060-104988113","callNumber":"QA76.63 .C64 2002","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-08T17:27:43.435838492Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"rawVolumeStatement":"(pt.2)","parsedVolumeStatement":"(pt.2)","statusCorrectAsOf":"2026-10-08T17:27:43.897711360Z"}
Copia 1 AVAILABLE
Notes:
  • json {"id":"e98a30a7-88ff-5fc4-9e0e-93bee8926b00","status":{"code":"AVAILABLE"},"location":{"code":"SJLEVEL4","name":"UMSL TJL General Collection Level 4"},"barcode":"060-104988060","callNumber":"QA76.63 .C64 2002","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-08T17:27:43.435838492Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"rawVolumeStatement":"(pt.1)","parsedVolumeStatement":"(pt.1)","statusCorrectAsOf":"2026-10-08T17:27:43.897808726Z"}

MU Library Depository 1

Detalle de Existencias desde MU Library Depository 1
Número de Clasificación: ENGR QA76 .L43 2407
ENGR QA76 .L43 2408
Copia 2 AVAILABLE
Notes:
  • json {"id":"c569e21e-1cfa-5454-9b7a-6c6ab8d9b86a","status":{"code":"AVAILABLE"},"location":{"code":"UMLDUMC1","name":"MU Library Depository 1"},"barcode":"109180805012","callNumber":"ENGR QA76 .L43 2407","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-08T17:27:43.435838492Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"rawVolumeStatement":"((v.1))","parsedVolumeStatement":"((v.1))","statusCorrectAsOf":"2026-10-08T17:27:43.897236664Z"}
Copia 3 AVAILABLE
Notes:
  • json {"id":"fdf554a1-1dd3-512e-8033-eebd11432242","status":{"code":"AVAILABLE"},"location":{"code":"UMLDUMC1","name":"MU Library Depository 1"},"barcode":"109180805002","callNumber":"ENGR QA76 .L43 2408","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-08T17:27:43.435838492Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"rawVolumeStatement":"((v.2))","parsedVolumeStatement":"((v.2))","statusCorrectAsOf":"2026-10-08T17:27:43.897872023Z"}