- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Learning Normative Behaviour Through Automated Theorem Proving ; day:16 ; month:4 ; year:2024 ; pages:1-19
Künstliche Intelligenz ; (16.4.2024), 1-19
- Urheber
-
Neufeld, Emery A.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s13218-024-00844-x
- URN
-
urn:nbn:de:101:1-2406282123429.344198130698
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:48 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
- Neufeld, Emery A.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Automated theorem proving
Automated theorem proving
Automated theorem proving in software engineering
First order logic and automated theorem proving
First order logic and automated theorem proving
Simplification and reduction for automated theorem proving
Automated theorem proving for general game playing
Automated Theorem Proving for General Game Playing
Automated theorem proving : theory and practice ; includes CD-ROM
Current trends in hardware verification and automated theorem proving
Equality and extensionality in automated higher-order theorem proving
Differential dynamic logics - automated theorem proving for hybrid systems
Automated theorem proving
Automated theorem proving
Automated theorem proving in software engineering
First order logic and automated theorem proving
First order logic and automated theorem proving
Simplification and reduction for automated theorem proving
Automated theorem proving for general game playing
Automated Theorem Proving for General Game Playing
Automated theorem proving : theory and practice ; includes CD-ROM
Current trends in hardware verification and automated theorem proving
Equality and extensionality in automated higher-order theorem proving
Differential dynamic logics - automated theorem proving for hybrid systems
Automated theorem proving
Automated theorem proving
Automated theorem proving in software engineering
First order logic and automated theorem proving
First order logic and automated theorem proving
Simplification and reduction for automated theorem proving
Automated theorem proving for general game playing
Automated Theorem Proving for General Game Playing
Automated theorem proving : theory and practice ; includes CD-ROM
Current trends in hardware verification and automated theorem proving
Equality and extensionality in automated higher-order theorem proving