Kommentare: 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

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	Englisch
Schlagworte:	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.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!