Theorem proving in artificial neural networks: new frontiers in mathematical AI
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Theorem proving in artificial neural networks: new frontiers in mathematical AI ; volume:14 ; number:1 ; day:20 ; month:1 ; year:2024 ; pages:1-22 ; date:3.2024
European journal for philosophy of science ; 14, Heft 1 (20.1.2024), 1-22, 3.2024
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s13194-024-00569-6
- URN
-
urn:nbn:de:101:1-2405232105182.039321251758
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2000, 11:05 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
- Pantsar, Markus
- SpringerLink (Online service)
Ähnliche Objekte (12)
Theorem proving in artificial neural networks: new frontiers in mathematical AI
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Automated theorem proving
Automated theorem proving
Distributing equational theorem proving
An Extensible Theorem Proving Frontend
Theorem proving in large theories
Requirement-based cooperative theorem proving
Interactive theorem proving with indexed formulas
First order theorem proving modulo equations
First-order theorem proving modulo equations
Automated theorem proving in software engineering
Theorem proving in artificial neural networks: new frontiers in mathematical AI
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Automated theorem proving
Automated theorem proving
Distributing equational theorem proving
An Extensible Theorem Proving Frontend
Theorem proving in large theories
Requirement-based cooperative theorem proving
Interactive theorem proving with indexed formulas
First order theorem proving modulo equations
First-order theorem proving modulo equations
Automated theorem proving in software engineering
Theorem proving in artificial neural networks: new frontiers in mathematical AI
How to Recognize Artificial Mathematical Intelligence in Theorem Proving
Automated theorem proving
Automated theorem proving
Distributing equational theorem proving
An Extensible Theorem Proving Frontend
Theorem proving in large theories
Requirement-based cooperative theorem proving
Interactive theorem proving with indexed formulas
First order theorem proving modulo equations
First-order theorem proving modulo equations