Buchumschlag

Summary goes here

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:Englisch
Schlagworte:
Kowalski, Robert.
Automatic theorem proving.
Logic programming.
Logic programming languages.
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

UMSL TJL General Collection Level 4

Bestandsangaben von UMSL TJL General Collection Level 4
Signatur: QA76.63 .C64 2002
Exemplar 0 AVAILABLE
Anmerkungen:
  • 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-20T18:50:25.210462930Z","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-20T18:50:25.421929580Z"}
Exemplar 1 AVAILABLE
Anmerkungen:
  • 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-20T18:50:25.210462930Z","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-20T18:50:25.421756115Z"}

MU Library Depository 1

Bestandsangaben von MU Library Depository 1
Signatur: ENGR QA76 .L43 2407
ENGR QA76 .L43 2408
Exemplar 2 AVAILABLE
Anmerkungen:
  • 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-20T18:50:25.210462930Z","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-20T18:50:25.421312080Z"}
Exemplar 3 AVAILABLE
Anmerkungen:
  • 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-20T18:50:25.210462930Z","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-20T18:50:25.422095564Z"}