Slika omota

Summary goes here

Spremljeno u:
Bibliografski detalji
Format: Knjiga
Jezik:engleski
Teme:
Kowalski, Robert.
Automatic theorem proving.
Logic programming.
Logic programming languages.
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

UMSL TJL General Collection Level 4

Detalji primjeraka od UMSL TJL General Collection Level 4
Signatura: QA76.63 .C64 2002
Primjerak 0 AVAILABLE
Bilješke:
  • 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-05-13T15:48:17.260050279Z","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-05-13T15:48:17.463535580Z"}
Primjerak 1 AVAILABLE
Bilješke:
  • 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-05-13T15:48:17.260050279Z","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-05-13T15:48:17.463648903Z"}

MU Library Depository 1

Detalji primjeraka od MU Library Depository 1
Signatura: ENGR QA76 .L43 2407
ENGR QA76 .L43 2408
Primjerak 2 AVAILABLE
Bilješke:
  • 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-05-13T15:48:17.260050279Z","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-05-13T15:48:17.463052816Z"}
Primjerak 3 AVAILABLE
Bilješke:
  • 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-05-13T15:48:17.260050279Z","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-05-13T15:48:17.463728732Z"}