On the simulation order of proof systems
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch Software E-Book |
| Sprache: | English |
| Veröffentlicht: |
2000
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | Ulm, Univ., Diss., 2001. - Titel auf der Beil. |
|---|---|
| Beschreibung: | 1 CD-ROM 12 cm Beil. ([2] S.) |
| Format: | Adobe-PDF-Format. - Postscript-Format |