Omslagsbillede

Summary goes here

Saved in:
Bibliografiske detaljer
Format: Bog
Sprog:engelsk
Fag:
Automatic theorem proving
Computer programming
Théorèmes
Programmation (Informatique)
Informatique.
Automatic theorem proving.
Computer programming.
Congress
Conference papers and proceedings.
Actes de congrès.
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

MU Online Library

Detaljer om beholdninger fra MU Online Library
Klassifikationsnummer: missing
Kopi 0 AVAILABLE
Kommentarer:
  • json {"id":"117a7db1-9d2f-5e27-ac00-44df50d1dd01","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261475010","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-20T23:07:59.906730570Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-05-20T23:08:00.177614518Z"}