Content
Labelled Deductive Systems, Part I
CIS-Bericht-90-22
| Authors/Editors: |
Dov M. Gabbay |
|---|---|
| Publication Date: | 1990 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |
Breadcrumb Navigation
- Home
- CIS-Berichte
- Labelled Deductive Systems, Part I