Comentaris: Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).

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!

Sigues el primer a deixar un comentari!