Automated Reasoning with Analytic Tableaux and Related Methods | DealShopping Deutschland
  1. Home
  2. Automated Reasoning with Analytic Tableaux and Related Methods
  • #

Automated Reasoning with Analytic Tableaux and Related Methods

42.79 EUR 41.35 EUR 3% Off

Teilen:
Gesponsert

Automated Reasoning with Analytic Tableaux and Related Methods

preigu.de
41.35 EUR
05-05-2026 10:01:06
Gesponsert

Automated Reasoning with Analytic Tableaux and Related Methods

SpringerLink DE
42.79 EUR
05-05-2026 14:56:49

Ähnliche Produkte

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)

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

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

49.22 EUR
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, ... Notes in Computer Science

Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, ... Notes in Computer Science

53.24 EUR
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

53.49 EUR
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

53.49 EUR
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008, Proceedings (Lecture Notes in . . . / ... (Lecture Notes in Computer Science)

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008, Proceedings (Lecture Notes in . . . / ... (Lecture Notes in Computer Science)

46.38 EUR