Slika omota

Summary goes here

Spremljeno u:
Bibliografski detalji
Format: Knjiga
Jezik:engleski
Teme:
Automatic theorem proving.
Ontic (Computer system)
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.9.A96 M37 1989
Primjerak 0 AVAILABLE
Bilješke:
  • json {"id":"25d60988-8a31-5a58-90ce-55d9a40dd317","status":{"code":"AVAILABLE"},"location":{"code":"SJLEVEL4","name":"UMSL TJL General Collection Level 4"},"barcode":"060-100738837","callNumber":"QA76.9.A96 M37 1989","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-05T03:13:07.337410869Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-05T03:13:07.831730397Z"}

Dewey Collection

Detalji primjeraka od Dewey Collection
Signatura: 510.28563 M117o
Primjerak 1 AVAILABLE
Bilješke:
  • json {"id":"1201530","status":{"code":"AVAILABLE"},"location":{"code":"skmdd","name":"Dewey Collection"},"barcode":"31955900855758","callNumber":"510.28563 M117o","hostLmsCode":"SEMO","sourceHostLmsCode":"SEMO","owningContext":"SEMO","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-05T03:13:07.337410869Z","localItemType":"MONOGRAPH","canonicalItemType":"CIRC","localItemTypeCode":"0","agency":{"code":"6semo","name":"Southeast Missouri State University","description":"Southeast Missouri State University"},"statusCorrectAsOf":"2026-02-05T03:13:07.618862315Z"}