|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formalized Probability Theory and Applications Using Theorem Proving | Hasan, Osman | Hardcover | 1466683155 /
9781466683150 | 03/2015 | $185.25 |
|  | Probabilistic Analysis using Theorem Proving | Hasan, Osman | Paperback | 3639094727 /
9783639094725 | 11/2008 | $69.77 |
|  | Theorem Proving in Higher Order Logics 2008 Edition (Lecture Notes in Computer Science) | Ait Mohamed, Otmane | Paperback | 3540710655 /
9783540710653 | 07/2008 | $52.24 |
|  | Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings 2002 Edition (Lecture Notes in Computer Science,) | Carreno, Victor A. | Paperback | 3540440399 /
9783540440390 | 08/2002 | $52.24 |
|
|
|
