Komentáře: 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

Uloženo v:

Podrobná bibliografie
Médium:	Kniha
Jazyk:	angličtina
Témata:	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.
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!