Victor A. Carreno & Cesar A. Munoz 
Theorem Proving in Higher Order Logics [PDF ebook] 
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Ondersteuning
€57.90
Betalingsmethoden
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● ISBN 9783540456858 ● Editor Victor A. Carreno & Cesar A. Munoz ● Uitgeverij Springer Berlin Heidelberg ● Gepubliceerd 2003 ● Downloadbare 3 keer ● Valuta EUR ● ID 6376757 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

16.593 E-boeken in deze categorie