Formal analysis of 2D image processing filters using higher-order logic theorem proving
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1687-6180
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Formal analysis of 2D image processing filters using higher-order logic theorem proving ; volume:2022 ; number:1 ; day:27 ; month:6 ; year:2022 ; pages:1-18 ; date:12.2022
EURASIP journal on advances in signal processing / European Association for Speech, Signal and Image Processing ; 2022, Heft 1 (27.6.2022), 1-18, 12.2022
- Urheber
-
Rashid, Adnan
Abed, Sa’ed
Hasan, Osman
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1186/s13634-022-00882-3
- URN
-
urn:nbn:de:101:1-2022081920444177058503
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:20 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
- Rashid, Adnan
- Abed, Sa’ed
- Hasan, Osman
- SpringerLink (Online service)
Ähnliche Objekte (12)
Proving theorems of higher-order logic with SMT solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Automated theorem proving for dependent typed theories via a translation to higher-order logic
First order logic and automated theorem proving
First order logic and automated theorem proving
Equality and extensionality in automated higher-order theorem proving
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
From logic design to logic programming : theorem proving techniques and P-functions
Automated theorem proving
Automated theorem proving
Proving classical theorems of social choice theory in modal logic
Proving theorems of higher-order logic with SMT solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Automated theorem proving for dependent typed theories via a translation to higher-order logic
First order logic and automated theorem proving
First order logic and automated theorem proving
Equality and extensionality in automated higher-order theorem proving
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
From logic design to logic programming : theorem proving techniques and P-functions
Automated theorem proving
Automated theorem proving
Proving classical theorems of social choice theory in modal logic
Proving theorems of higher-order logic with SMT solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Automated theorem proving for dependent typed theories via a translation to higher-order logic
First order logic and automated theorem proving
First order logic and automated theorem proving
Equality and extensionality in automated higher-order theorem proving
Higher-Order Automated Theorem Proving for Natural Language Semantics
Equality and extensionality in automated higher-order theorem proving
From logic design to logic programming : theorem proving techniques and P-functions
Automated theorem proving
Automated theorem proving