ID:DA09169496
Advanced Study Institute on Proof and Computation, NATO
Search authors sharing the same name
edited by Helmut Schwichtenberg
Springer-Verlag 1995 NATO ASI series Ser. F . Computer and systems sciences ; v. 139
Available at 28 libraries