Programming in propositional logic or reductions : back to the roots (satisfiability)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
24 S.
- Sprache
-
Deutsch
- Erschienen in
-
Forschungsbericht / Rheinische Friedrich-Wilhelms-Universität Bonn ; 93,3
- Ereignis
-
Veröffentlichung
- (wo)
-
Bonn
- (wer)
-
Sekretariat für Forschungsberichte, Inst. für Informatik III
- (wann)
-
1993
- Urheber
-
Stamm-Wilbrandt, Hermann
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:00 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
- Stamm-Wilbrandt, Hermann
- Sekretariat für Forschungsberichte, Inst. für Informatik III
Entstanden
- 1993
Ähnliche Objekte (12)
What is answer set programming to propositional satisfiability
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
An efficient propositional system for Abductive Logic Programming
Predicting Propositional Satisfiability Based on Graph Attention Networks
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Sequential composition of propositional logic programs
Improving proof search in intuitionistic propositional logic
What is answer set programming to propositional satisfiability
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
An efficient propositional system for Abductive Logic Programming
Predicting Propositional Satisfiability Based on Graph Attention Networks
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Sequential composition of propositional logic programs
Improving proof search in intuitionistic propositional logic
What is answer set programming to propositional satisfiability
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
An efficient propositional system for Abductive Logic Programming
Predicting Propositional Satisfiability Based on Graph Attention Networks
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Sequential composition of propositional logic programs