- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2003-16
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2006
- Urheber
- URN
-
urn:nbn:de:bvb:384-opus4-1730
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
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
- Struth, Georg
- Universität Augsburg
Entstanden
- 2006
Ähnliche Objekte (12)
A Calculus for Set-Based Program Development Part I: Mathematical Foundations.
Proof profiles : characteristic clause sets and proof transformations
Program development by proof transformation
Predicate calculus and program semantics
Automated Proof Search: The Aftermath
Optimizing proof search by machine learning techniques
Improving proof search in intuitionistic propositional logic
A set based calculus and its implementation
Interactive program and proof development with NurPRL
Proof theory and algorithms for answer set programming
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
A Calculus for Set-Based Program Development Part I: Mathematical Foundations.
Proof profiles : characteristic clause sets and proof transformations
Program development by proof transformation
Predicate calculus and program semantics
Automated Proof Search: The Aftermath
Optimizing proof search by machine learning techniques
Improving proof search in intuitionistic propositional logic
A set based calculus and its implementation
Interactive program and proof development with NurPRL
Proof theory and algorithms for answer set programming
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
A Calculus for Set-Based Program Development Part I: Mathematical Foundations.
Proof profiles : characteristic clause sets and proof transformations
Program development by proof transformation
Predicate calculus and program semantics
Automated Proof Search: The Aftermath
Optimizing proof search by machine learning techniques
Improving proof search in intuitionistic propositional logic
A set based calculus and its implementation
Interactive program and proof development with NurPRL
Proof theory and algorithms for answer set programming
Proof search without backtracking for free variable tableaux