- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
II, 143 S.
- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 1994
- Schlagwort
-
Programmierung
Rekursion
Programm
Korrektheit
Beweis
- Urheber
-
Schieder, Birgit
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:53 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Schieder, Birgit
Ähnliche Objekte (12)
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
An alternative proof method for possibilistic logic and its application to terminological logics
Improving proof search in intuitionistic propositional logic
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
The dynamics of judicial proof : computation, logic, and common sense ; with 5 tables
Design, implementation and results of an interactive proof system for higher order logic
Diagonal method and dialectical logic, Book 3.. Groundworks for dialectical logic
Proof Search in Multi-Agent Dialogues for Modal Logic
Proof search in multi-agent dialogues for modal logic
Isabelle, HOL : a proof assistant for higher order logic
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
An alternative proof method for possibilistic logic and its application to terminological logics
Improving proof search in intuitionistic propositional logic
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
The dynamics of judicial proof : computation, logic, and common sense ; with 5 tables
Design, implementation and results of an interactive proof system for higher order logic
Diagonal method and dialectical logic, Book 3.. Groundworks for dialectical logic
Proof Search in Multi-Agent Dialogues for Modal Logic
Proof search in multi-agent dialogues for modal logic
Isabelle, HOL : a proof assistant for higher order logic
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
An alternative proof method for possibilistic logic and its application to terminological logics
Improving proof search in intuitionistic propositional logic
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
The dynamics of judicial proof : computation, logic, and common sense ; with 5 tables
Design, implementation and results of an interactive proof system for higher order logic
Diagonal method and dialectical logic, Book 3.. Groundworks for dialectical logic
Proof Search in Multi-Agent Dialogues for Modal Logic
Proof search in multi-agent dialogues for modal logic