Search results for proof

Refine Search

Omni badge Proof Profiles

Characteristic Clause Sets and Proof Transformations

Informatics, IT

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

5801.79 руб
Omni badge Isabelle (Proof Assistant)

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

Informatics, IT

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

2851.85 руб
Omni badge The Question of Proof in Electronic Interchange Trade

The Question of Proof in Electronic Trade

Commercial law, Business law

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

5801.79 руб
Omni badge Analytic Proof Analysis

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

3343.20 руб
Omni badge Proof Procedure Mathematics

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

4424.91 руб
Omni badge Conditional Proof Mathematics

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

3835.47 руб
Omni badge Proof Complexity Informatics

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

3343.20 руб
Omni badge Proof Test Technology

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

3835.47 руб
Omni badge Proof (Comics) Other

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

3343.20 руб
Omni badge Turing's Proof Mathematics

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

3343.20 руб
Omni badge Rot-proof

preservation, protection, Surface finishing, Industry

Physics, astronomy

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

3343.20 руб
Omni badge Proof Theory Mathematics

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

2851.85 руб
Omni badge Statistical Proof Mathematics

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

3343.20 руб

Newsletter

Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING