- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
I, 61 Bl.
- Sprache
-
Englisch
- Erschienen in
-
Interner Bericht / Universität Karlsruhe (TH) ; Nr. 84,16
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
Fak. für Informatik
- (wann)
-
1984
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:49 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
- Biundo-Stephan, Susanne
- Zboray, Frantiŝek
- Fak. für Informatik
Entstanden
- 1984
Ähnliche Objekte (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