Automated Reasoning with Analytic Tableaux and Related Methods

Wo zu kaufen (1) Eigenschaften

Gesponsert

Automated Reasoning with Analytic Tableaux and Related Methods

SpringerLink DE

42.79 EUR

Preis aktualisiert am: 16-06-2026 19:21:16

Siehe Produktangebot

Allgemein

Marke

Springer

Eigenschaften

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

Produkt anzeigen

Automated Reasoning and Mathematics

Automated Reasoning and Mathematics

Produkt anzeigen

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

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

Produkt anzeigen

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698, Band 698)

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698, Band 698)

Produkt anzeigen

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1705), Band 1705)

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1705), Band 1705)

Produkt anzeigen

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)

Produkt anzeigen