- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
114 S.
- Sprache
-
Deutsch
- Erschienen in
-
Seminarbericht / Humboldt-Universität zu Berlin ; Nr. 97
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Sekt. Mathematik d. Humboldt-Univ.
- (wann)
-
1988
- Urheber
-
Horn, Christian
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:25 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
- Horn, Christian
- Sekt. Mathematik d. Humboldt-Univ.
Entstanden
- 1988
Ähnliche Objekte (12)
Program development by proof transformation
Lecture notes interactive proof systems
On helping and interactive proof systems
A Calculus for Set-Based Program Development Part II: Proof Search
Interactive program construction with incomplete statements
Interactive typed tactic programming in the Coq proof assistant
User Interaction in Deductive Interactive Program Verification
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Integrated urban development for climate-proof cities : International Dialogue Forum on Climate-Proof Urban Development
OMEGA-MKRP - A Proof Development Environment
Development economics program
Declarative development of interactive systems
Program development by proof transformation
Lecture notes interactive proof systems
On helping and interactive proof systems
A Calculus for Set-Based Program Development Part II: Proof Search
Interactive program construction with incomplete statements
Interactive typed tactic programming in the Coq proof assistant
User Interaction in Deductive Interactive Program Verification
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Integrated urban development for climate-proof cities : International Dialogue Forum on Climate-Proof Urban Development
OMEGA-MKRP - A Proof Development Environment
Development economics program
Declarative development of interactive systems
Program development by proof transformation
Lecture notes interactive proof systems
On helping and interactive proof systems
A Calculus for Set-Based Program Development Part II: Proof Search
Interactive program construction with incomplete statements
Interactive typed tactic programming in the Coq proof assistant
User Interaction in Deductive Interactive Program Verification
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Integrated urban development for climate-proof cities : International Dialogue Forum on Climate-Proof Urban Development
OMEGA-MKRP - A Proof Development Environment
Development economics program