Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Kowalski, Robert.
Automatic theorem proving.
Logic programming.
Logic programming languages.
Tags: Add Tag
No Tags, Be the first to tag this record!

UMSL TJL General Collection Level 4

Holdings details from UMSL TJL General Collection Level 4
Call Number: QA76.63 .C64 2002
Copy 0 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-08-15T21:25:45.196296580Z","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-08-15T21:25:45.397161969Z"}
Copy 1 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-08-15T21:25:45.196296580Z","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-08-15T21:25:45.397084216Z"}

MU Library Depository 1

Holdings details from MU Library Depository 1
Call Number: ENGR QA76 .L43 2407
ENGR QA76 .L43 2408
Copy 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-08-15T21:25:45.196296580Z","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-08-15T21:25:45.396640251Z"}
Copy 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-08-15T21:25:45.196296580Z","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-08-15T21:25:45.397203977Z"}