Search results for proof

Characteristic Clause Sets and Proof Transformations

VDM Verlag Dr. MŸller Aktiengesellschaft & Co. KG (2008-04-08) - ISBN-13: 978-3-8364-7007-0

Proof assistant, HOL (proof assistant), Logic for Computable Functions

Frac Press (2012-02-25) - ISBN-13: 978-620-0-71229-5

The Question of Proof in Electronic Trade

LAP LAMBERT Academic Publishing (2012-08-14) - ISBN-13: 978-3-659-21265-9

The Mathematical Proof and Logical Thinking

LAP LAMBERT Academic Publishing (2014-01-03) - ISBN-13: 978-3-659-49336-2

Alphascript Publishing (2010-11-01) - ISBN-13: 978-613-2-82921-4

Alphascript Publishing (2011-05-10) - ISBN-13: 978-613-5-64036-6

Betascript Publishing (2010-12-15) - ISBN-13: 978-613-4-62707-8

Betascript Publishing (2010-08-11) - ISBN-13: 978-613-1-17598-5

Betascript Publishing (2010-12-15) - ISBN-13: 978-613-4-62573-9

Betascript Publishing (2010-12-15) - ISBN-13: 978-613-4-62593-7

Betascript Publishing (2010-12-15) - ISBN-13: 978-613-4-62200-4

Betascript Publishing (2010-11-09) - ISBN-13: 978-613-1-14242-0

preservation, protection, Surface finishing, Industry

Fec Publishing (2012-06-13) - ISBN-13: 978-620-1-14083-7

Betascript Publishing (2010-06-04) - ISBN-13: 978-613-0-33062-0

Betascript Publishing (2010-06-17) - ISBN-13: 978-613-0-49473-5

Alphascript Publishing (2010-04-19) - ISBN-13: 978-613-0-62421-7