Imatge de la portada

Summary goes here

Guardat en:
Dades bibliogràfiques
Format: Llibre
Idioma:anglès
Matèries:
Siekmann, Jörg H.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Reasoning
Formal methods (Computer science)
Logique symbolique et mathématique.
Méthodes formelles (Informatique)
Raisonnement
Théorèmes
MATHEMATICS
Informatique.
Formale Methode
Logischer Schluss
Automatisches Beweisverfahren
Softwareentwicklung
Raisonnement (Informatique)
Démonstration automatique de théorèmes.
Méthode formelle.
Logique mathématique.
Congress
Festschriften.
Conference papers and proceedings.
Actes de congrès.
Aufsatzsammlung.
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MU Online Library

Detall dels fons de MU Online Library
Signatura: missing
Còpia 0 AVAILABLE
Notes:
  • json {"id":"316dc899-c94d-58c8-91f2-b618c0272c94","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261531001","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-19T09:06:18.636513639Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-05-19T09:06:18.824710005Z"}