- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
121 S.
- Language
-
Deutsch
- Notes
-
Literaturverz. S. 117 - 121
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
- (when)
-
1995
- Creator
-
Radhakrishnan, Jaikumar
Saluja, Sanjeev
- 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:06 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
- Radhakrishnan, Jaikumar
- Saluja, Sanjeev
- Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
Time of origin
- 1995
Other Objects (12)
On helping and interactive proof systems
Interactive approaches to video lecture assessment
Lecture Notes
Lecture notes
Interactive program and proof development with NurPRL
Handwritten lecture notes
Note du lecture
Lecture Note.Wilson.
Cryptographic Reverse Firewalls for Interactive Proof Systems: Q/A Session D - Paper D3.C
Design, implementation and results of an interactive proof system for higher order logic
Interactive typed tactic programming in the Coq proof assistant
Lecture Notes on Macroeconomics
On helping and interactive proof systems
Interactive approaches to video lecture assessment
Lecture Notes
Lecture notes
Interactive program and proof development with NurPRL
Handwritten lecture notes
Note du lecture
Lecture Note.Wilson.
Cryptographic Reverse Firewalls for Interactive Proof Systems: Q/A Session D - Paper D3.C
Design, implementation and results of an interactive proof system for higher order logic
Interactive typed tactic programming in the Coq proof assistant
Lecture Notes on Macroeconomics
On helping and interactive proof systems
Interactive approaches to video lecture assessment
Lecture Notes
Lecture notes
Interactive program and proof development with NurPRL
Handwritten lecture notes
Note du lecture
Lecture Note.Wilson.
Cryptographic Reverse Firewalls for Interactive Proof Systems: Q/A Session D - Paper D3.C
Design, implementation and results of an interactive proof system for higher order logic
Interactive typed tactic programming in the Coq proof assistant