Content
Elements of Algorithmic Proof
CIS-Bericht-90-23
| Authors/Editors: |
Dov M. Gabbay |
|---|---|
| Publication Date: | 1990 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |
Breadcrumb Navigation
- Home
- CIS-Berichte
- Elements of Algorithmic Proof