Obálka

Summary goes here

Uloženo v:
Podrobná bibliografie
Médium: Kniha
Jazyk:angličtina
Témata:
Kowalski, Robert.
Automatic theorem proving.
Logic programming.
Logic programming languages.
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

UMSL TJL General Collection Level 4

Informace o exemplářích z: UMSL TJL General Collection Level 4
Signatura: QA76.63 .C64 2002
Jednotka 0 AVAILABLE
Poznámky:
  • 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-03-26T06:52:41.222562932Z","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-03-26T06:52:41.817889331Z"}
Jednotka 1 AVAILABLE
Poznámky:
  • 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-03-26T06:52:41.222562932Z","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-03-26T06:52:41.818028635Z"}

MU Library Depository 1

Informace o exemplářích z: MU Library Depository 1
Signatura: ENGR QA76 .L43 2407
ENGR QA76 .L43 2408
Jednotka 2 AVAILABLE
Poznámky:
  • 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-03-26T06:52:41.222562932Z","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-03-26T06:52:41.817431577Z"}
Jednotka 3 AVAILABLE
Poznámky:
  • 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-03-26T06:52:41.222562932Z","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-03-26T06:52:41.818142423Z"}