Obálka

Summary goes here

Uloženo v:
Podrobná bibliografie
Médium: Kniha
Jazyk:angličtina
Témata:
Automatic theorem proving.
Computer algorithms.
Logic programming.
Algorithms
Théorèmes
Algorithmes.
Programmation logique.
algorithms.
Automatic theorem proving
Computer algorithms
Logic programming
Formale Semantik
Logischer Entwurf
Programmierlogik
Automatisches Beweisverfahren
Logisch programmeren.
Algorithms.
Logic design.
Structure logique.
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MU Online Library

Informace o exemplářích z: MU Online Library
Signatura: missing
Jednotka 0 AVAILABLE
Poznámky:
  • json {"id":"7ea76f10-337b-5569-867c-c1fd8859535f","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261603693","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-01T14:36:24.915574241Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T14:36:25.146855249Z"}