Autor: Mark Aagaard

Wsparcie

1 Ebooki wg Mark Aagaard

Mark Aagaard & John Harrison: Theorem Proving in Higher Order Logics
This volume is the proceedings of the 13th International Conference on Theo- rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers su …
PDF
Angielski
DRM
€57.19