Hochschulschrift
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2015
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT-Bibliothek
- (wann)
-
2015
- Urheber
-
Ghazi, Aboubakr Achraf el
- Beteiligte Personen und Organisationen
-
Taghdiri, M.
- URN
-
urn:nbn:de:swb:90-510220
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:26 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Ghazi, Aboubakr Achraf el
- Taghdiri, M.
- KIT-Bibliothek
Entstanden
- 2015
Ähnliche Objekte (12)
Constraint solving for verification
Qualitative constraint-based reasoning: methods and applications
Public health reasoning: much more than deduction
Reasoning about distributed relational data and query evaluation
Qualitative constraint calculi : heterogeneous verification of composition tables
Verification of relational programs supported by theorem provers
A perspective of constraint based reasoning : an introductory tutorial
Formal verification of sequential circuits using reasoning techniques
A Dynamic Verification Model based on Information Flow Constraint
Spatial analogies pervade complex relational reasoning: Evidence from spontaneous gestures
Relational reasoning in wild bumblebees revisited: the role of distance
Modeling, verification, and strategic reasoning in multi-agent systems
Constraint solving for verification
Qualitative constraint-based reasoning: methods and applications
Public health reasoning: much more than deduction
Reasoning about distributed relational data and query evaluation
Qualitative constraint calculi : heterogeneous verification of composition tables
Verification of relational programs supported by theorem provers
A perspective of constraint based reasoning : an introductory tutorial
Formal verification of sequential circuits using reasoning techniques
A Dynamic Verification Model based on Information Flow Constraint
Spatial analogies pervade complex relational reasoning: Evidence from spontaneous gestures
Relational reasoning in wild bumblebees revisited: the role of distance
Modeling, verification, and strategic reasoning in multi-agent systems
Constraint solving for verification
Qualitative constraint-based reasoning: methods and applications
Public health reasoning: much more than deduction
Reasoning about distributed relational data and query evaluation
Qualitative constraint calculi : heterogeneous verification of composition tables
Verification of relational programs supported by theorem provers
A perspective of constraint based reasoning : an introductory tutorial
Formal verification of sequential circuits using reasoning techniques
A Dynamic Verification Model based on Information Flow Constraint
Spatial analogies pervade complex relational reasoning: Evidence from spontaneous gestures
Relational reasoning in wild bumblebees revisited: the role of distance