- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
I, 61 Bl.
- Language
-
Englisch
- Bibliographic citation
-
Interner Bericht / Universität Karlsruhe (TH) ; Nr. 84,16
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
Fak. für Informatik
- (when)
-
1984
- Creator
- 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, 1:49 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
- Biundo-Stephan, Susanne
- Zboray, Frantiŝek
- Fak. für Informatik
Time of origin
- 1984
Other Objects (12)
Generic induction proofs
Encoding induction in correctness proofs of program transformations as a termination problem
Kant on proofs for God's existence
Lectures on the proofs of the existence of God
Independence proofs in arithmetic theories with very weak induction
Independence proofs in arithmetic theories with very weak induction
An investigation of formula generalization heuristics for induction proofs
Independence proofs in arithmetic theories with very weak induction
Refinement of Classical Proofs for Program Extraction
Program Synthesis Co-Design
Verifying Array Manipulating Programs with Full-Program Induction
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle
Generic induction proofs
Encoding induction in correctness proofs of program transformations as a termination problem
Kant on proofs for God's existence
Lectures on the proofs of the existence of God
Independence proofs in arithmetic theories with very weak induction
Independence proofs in arithmetic theories with very weak induction
An investigation of formula generalization heuristics for induction proofs
Independence proofs in arithmetic theories with very weak induction
Refinement of Classical Proofs for Program Extraction
Program Synthesis Co-Design
Verifying Array Manipulating Programs with Full-Program Induction
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle
Generic induction proofs
Encoding induction in correctness proofs of program transformations as a termination problem
Kant on proofs for God's existence
Lectures on the proofs of the existence of God
Independence proofs in arithmetic theories with very weak induction
Independence proofs in arithmetic theories with very weak induction
An investigation of formula generalization heuristics for induction proofs
Independence proofs in arithmetic theories with very weak induction
Refinement of Classical Proofs for Program Extraction
Program Synthesis Co-Design
Verifying Array Manipulating Programs with Full-Program Induction