Types for proofs and programs : international workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
Stefano Berardi, Mario Coppo (eds.)
Bok Engelsk 1996 TYPES '95
| Utgitt | Berlin : Springer , c1996
|
|---|---|
| Omfang | X, 296 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540617809
|
