Matt Kaufmann
Articoli popolari di Matt Kaufmann
Visualizza tutte le offerte-
Computer-Aided Reasoning: Acl2 Case Studies: 4
Prezzi articolo a partire da
Visualizza 26 offerteEUR 125,30
-
Computer-Aided Reasoning: An Approach: Pt. 1
Kaufmann, Matt; Manolios, Panagiotis; Moore, J Strother
Prezzi articolo a partire da
Visualizza 2 offerteEUR 373,00
Trova anche
Antichi o usati -
Interactive Theorem Proving: First International Conference, Itp 2010, Edinburgh, Uk, July 11-14, 2010, Proceedings: 6172
Prezzi articolo a partire da
Visualizza 5 offerteEUR 130,33
