Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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)

53.49 EUR

Teilen:

Ä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)

53.49 EUR
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

53.49 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
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

50.25 EUR
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

41.45 EUR
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

53.49 EUR