Types for Proofs and Programs
International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995. Selected Papers
Автор:
Stefano Berardi, Mario Coppo
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.84
€
103.34 лв
This volume contains a refereed selection of revised full papers chosen from the contributions prese...