Status: Bibliographieeintrag
Standort: ---
Exemplare:
---
| Verfasst von: | Paech, Barbara  |
|---|
| Titel: | Gentzen-systems for propositional temporal logics |
|---|
| Verf.angabe: | Barbara Paech |
|---|
| Verlagsort: | München |
|---|
| Verlag: | Ludwigs-Maximilians-Universität München, Institut für Informatik |
|---|
| Jahr: | 1988 |
|---|
| Umfang: | 23 S. |
|---|
| Gesamttitel/Reihe: | Bericht / Ludwig-Maximilians-Universität München, Institut für Informatik ; 8801 |
|---|
| Sprache: | eng |
|---|
| K10plus-PPN: | 1152322702 |
|---|
| Verknüpfungen: | → Übergeordnete Aufnahme |
|---|
Gentzen-systems for propositional temporal logics / Paech, Barbara; 1988
67510425
