A Mathematical Knowledge Base for Proving Theorems in Semigroup and Automata Theory : Part I
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
SEKI working paper ; 1993,2
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1999
- Urheber
-
Schütt, Barbara
Kerber, Manfred
- URN
-
urn:nbn:de:hbz:386-kluedo-3952
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 MESZ
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.
Beteiligte
- Schütt, Barbara
- Kerber, Manfred
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1999
Ähnliche Objekte (12)
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Automated theorem proving
Automated theorem proving
Distributing equational theorem proving
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Theorem proving in artificial neural networks: new frontiers in mathematical AI
An operator semigroup in mathematical genetics
An Extensible Theorem Proving Frontend
Requirement-based cooperative theorem proving
Theorem proving in large theories
First order theorem proving modulo equations
Interactive theorem proving with indexed formulas
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Automated theorem proving
Automated theorem proving
Distributing equational theorem proving
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Theorem proving in artificial neural networks: new frontiers in mathematical AI
An operator semigroup in mathematical genetics
An Extensible Theorem Proving Frontend
Requirement-based cooperative theorem proving
Theorem proving in large theories
First order theorem proving modulo equations
Interactive theorem proving with indexed formulas
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Automated theorem proving
Automated theorem proving
Distributing equational theorem proving
Theorem proving in artificial neural networks: new frontiers in mathematical AI
Theorem proving in artificial neural networks: new frontiers in mathematical AI
An operator semigroup in mathematical genetics
An Extensible Theorem Proving Frontend
Requirement-based cooperative theorem proving
Theorem proving in large theories
First order theorem proving modulo equations