- Sprache
-
Englisch
- Identifier
-
1026735491
- Reihe
-
SEKI Report; 93,07
- Beteiligte Personen und Organisationen
-
Melis, Erica
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Melis, Erica
Ähnliche Objekte (12)
Proving a Heine-Borel Theorem by Analogy
Theorem Proving by Analogy - A Compelling Example ?
Automated theorem proving
Automated theorem proving
Distributing equational theorem proving
Requirement-based cooperative theorem proving
Theorem proving in large theories
An Extensible Theorem Proving Frontend
When to Prove Theorems by Analogy?
Analogy, copy, and representation : interdisciplinary perspectives
Linguistic representation : structural analogy and stratification
Theorem Proving in Hierarchical Clausal Specifications
Proving a Heine-Borel Theorem by Analogy
Theorem Proving by Analogy - A Compelling Example ?
Automated theorem proving
Automated theorem proving
Distributing equational theorem proving
Requirement-based cooperative theorem proving
Theorem proving in large theories
An Extensible Theorem Proving Frontend
When to Prove Theorems by Analogy?
Analogy, copy, and representation : interdisciplinary perspectives
Linguistic representation : structural analogy and stratification
Theorem Proving in Hierarchical Clausal Specifications
Proving a Heine-Borel Theorem by Analogy
Theorem Proving by Analogy - A Compelling Example ?
Automated theorem proving
Automated theorem proving
Distributing equational theorem proving
Requirement-based cooperative theorem proving
Theorem proving in large theories
An Extensible Theorem Proving Frontend
When to Prove Theorems by Analogy?
Analogy, copy, and representation : interdisciplinary perspectives
Linguistic representation : structural analogy and stratification