Buchumschlag

Summary goes here

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:Englisch
Schlagworte:
Automatic theorem proving
Computer logic
Conference papers and proceedings.
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MU Online Library

Bestandsangaben von MU Online Library
Signatur: missing
Exemplar 0 AVAILABLE
Anmerkungen:
  • json {"id":"a88e0dc5-d432-5fe3-aae4-f759c6634871","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i157552366","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-11-12T07:17:50.925324225Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-11-12T07:17:51.365128357Z"}