Copertina

Summary goes here

Salvato in:
Dettagli Bibliografici
Natura: Libro
Lingua:inglese
Soggetti:
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.
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

MU Online Library

Dettagli sul posseduto da MU Online Library
Collocazione: missing
Copia 0 AVAILABLE
Note:
  • 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-09-16T10:39:38.115620247Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-09-16T10:39:38.705381797Z"}