- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
114 S.
- Language
-
Deutsch
- Bibliographic citation
-
Seminarbericht / Humboldt-Universität zu Berlin ; Nr. 97
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Sekt. Mathematik d. Humboldt-Univ.
- (when)
-
1988
- Creator
-
Horn, Christian
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:00 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Horn, Christian
- Sekt. Mathematik d. Humboldt-Univ.
Time of origin
- 1988
Other Objects (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
Declarative development of interactive systems
Interactive Approaches to Rural Development
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
Declarative development of interactive systems
Interactive Approaches to Rural Development
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
Declarative development of interactive systems