Automated Reasoning — купить недорого, цены

Automated Reasoning: Introduction and Applications

1 790₽

AUTOMATED REASONING: INTRODUCTION AND APPLICATIONS/BOOK & By Larry Wos EXCELLENT

4 190₽

AUTOMATED REASONING: 33 BASIC RESEARCH PROBLEMS By Larry Wos Excellent Condition

5 990₽

Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 vol

9 290₽

Handbook of Practical Logic and Automated Reasoning by Harrison, John

19 790₽

Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, , Good B

6 090₽

Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Sym

4 590₽

Journal Of Automated Reasoning, Kluwer Academic Publishers - Lot Of 3

3 190₽

Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, (HCDJ,

2 690₽

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd Internation

8 390₽

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Ita

11 290₽

Automated Reasoning and the Discovery of Missing and Elegant Proofs

8 590₽

AUTOMATED REASONING: INTRODUCTION AND APPLICATIONS By Larry Wos & Ross Overbeek

4 290₽

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of S

18 190₽

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh,

29 890₽

Logic Programming and Automated Reasoning: 4th International Con

4 190₽

AUTOMATED REASONING-LARRY WOO-33 PROBLEMS-1ST 1988-COMPUTER SCIENCE CLASSIC VG+

8 390₽

Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966, S

7 990₽

Automated Reasoning in Higher-Order Logic : Set Comprehension and Extensional...

8 390₽

Knowledge Automation

2 290₽

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, Fra

27 590₽

HANDBOOK ON REASONING-BASED INTELLIGENT SYSTEMS, THE, , Very Good Book

5 690₽

Automated Reasoning

1 590₽

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd Internation

9 290₽

Automated Reasoning with Analytic Tableaux and Related Methods: 28th Internation

10 090₽

Automated Reasoning David Basin

25 390₽

Automated Reasoning: Introduction and Applications Wos, Larry and etc. :

5 990₽

Automated Reasoning with Analytic Tableaux and Related Methods Neil V. Murray

12 690₽

Automated Reasoning with Analytic Tableaux and Related Methods: Internation ...

6 590₽

Automated Reasoning Alessandro Armando

12 690₽

Automated Reasoning Jasmin Blanchette

10 090₽

- Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as P

10 990₽

- Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Mancheste

6 090₽

Rusinowitch, Michael; Basin, David - Automated Reasoning: Second International J

5 690₽

Automated Reasoning Christoph Benzmüller

10 090₽

Automated Reasoning with Analytic Tableaux and Related Methods: 18th Internation

10 090₽

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune: Essa

9 290₽

Automated Reasoning Bernhard Gramlich

12 690₽

- Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as P

13 290₽

- Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh

7 790₽

- Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra,

14 290₽

Nipkow, Tobias; Leitsch, Alexander; Gore, Rajeev - Automated Reasoning: First In

6 190₽

Automated Reasoning Ulrich Furbach

25 390₽

Automated Reasoning Rajeev Gore

25 390₽

Первая 1 2 3 4 5 6 7 8 ... Последняя (16)

Смотрите также

Защита плечей для бронежилета Вв крем чистая линия 10 в 1 Чехол для настольной теннисной ракетки Душ со смесителем с термостатом Мундштук внутренний 2п Защитный чехол на кресло Жевательная резинка Fini

В данном разделе представлены популярные товары категории Automated Reasoning, купить которые можно в нашем интернет-магазине по доступным ценам с доставкой из США (Америки) в Россию.