Suchen und Finden
Service
Higher Order Logic Theorem Proving and its Applications - Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
L.J.M. Claesen, M.J.C. Gordon
Verlag Elsevier Reference Monographs, 2014
ISBN 9781483298405 , 588 Seiten
Format PDF
Kopierschutz DRM
Geräte
Service
Shop