- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
121 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Literaturverz. S. 117 - 121
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
- (wann)
-
1995
- Urheber
-
Radhakrishnan, Jaikumar
Saluja, Sanjeev
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:06 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
- Radhakrishnan, Jaikumar
- Saluja, Sanjeev
- Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation
Entstanden
- 1995
Ähnliche Objekte (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