David A. Plaisted & Yunshan Zhu 
The Efficiency of Theorem Proving Strategies [PDF ebook] 
A Comparative and Asymptotic Analysis

Ondersteuning
€43.59
Betalingsmethoden
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Duits ● Formaat PDF ● ISBN 9783322938626 ● Uitgeverij Vieweg+Teubner Verlag ● Gepubliceerd 2013 ● Downloadbare 3 keer ● Valuta EUR ● ID 6373914 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer

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

50.053 E-boeken in deze categorie