Letzte Suchanfragen
Ergebnisse für *
Es wurden 24 Ergebnisse gefunden.
Zeige Ergebnisse 1 bis 24 von 24.
Sortieren
-
Word equations and related topics
1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings -
Logic for computer science
foundations of automatic theorem proving -
Logic for computer science
foundations of automatic theorem proving -
Logic for computer science
foundations of automatic theorem proving -
Word equations and related topics
1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings -
Logic for computer science
foundations of automatic theorem proving -
Symbolic logic and mechanical theorem proving
-
Logic for computer science
foundations of automatic theorem proving -
Word equations and related topics
1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings -
Logic for computer science
foundations of automat. theorem proving -
Symbolic logic and mechanical theorem proving
-
Word equations and related topics
1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings -
Logic for computer science
foundations of automatic theorem proving -
Logic for computer science
foundations of automatic theorem proving -
Logic for computer science
foundations of automatic theorem proving -
Logic for computer science
foundations of automatic theorem proving -
WORD EQUATIONS AND RELATED TOPICS
1ST INTERN.WORKSHOP,IWWERT '90.PROCEEDINGS. ; TUEBINGEN -
Logic for computer science
foundations of automatic theorem proving -
Automated theorem proving
a logical basis -
Journal of automated reasoning
-
Maschinelle Extraktion von zusammengesetzten Ausdrücken aus englischen Fachtexten
-
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
-
ProofML - eine Annotationssprache für natürlichsprachige mathematische Beweise
-
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics