Passer au contenu principal Passer au contenu du pied de page

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Édition : Ewing Lusk , Ross Overbeek

4 mai 1988

142,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 715 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

776

Lecture Notes In Computer Science

Publié par: Springer

Dimensions à l’expédition: 9" H x 6" W x 2" L

ISBN: 9783540193432

Analytical And Stochastic Modelling Techniques And Applications: 25th International Conference, Asmta 2019, Moscow, Russia, October 21-25, 2019, Proceedings

Marco Gribaudo Couverture souple
80,50 $
2 formats offerts
Advances in Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022, Revised Selected Papers

Nicholas Olenev Couverture souple
102,50 $
2 formats offerts
Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26-30, 2022, Revised Selected Papers

Nicholas Olenev Couverture souple
102,50 $
2 formats offerts
Advances in Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Nicholas Olenev Couverture souple
58,50 $
Advances in Optimization and Applications: 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Nicholas Olenev Couverture souple
116,95 $
2 formats offerts
Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Olivier Bournez Couverture souple
94,95 $
2 formats offerts
Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Cezar C-mpeanu Couverture souple
80,50 $
2 formats offerts
Advances in Intelligent and Distributed Computing: Proceedings of the 1st International Symposium on Intelligent and Distributed Computing IDC 2007, Craiova, Romania, October 2007

Costin Badica Couverture souple
248,50 $
2 formats offerts
Optimization and Operations Research: Proceedings of a Workshop Held at the University of Bonn, October 2-8, 1977

Couverture souple
142,95 $
Advances in Optimization and Applications: 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 - October 1, 2021, Revised Selected Papers

Nicholas N. Olenev Couverture souple
124,50 $
2 formats offerts
Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings

YiXiang Chen Couverture souple
124,50 $
2 formats offerts
Fractional Calculus and Its Applications: Proceedings of the International Conference held at the University of New Haven, June 1974

Couverture souple
77,95 $
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Uwe Glässer Couverture souple
124,50 $
2 formats offerts
Dynamic Control and Optimization: DCO 2021, Aveiro, Portugal, February 3-5, Selected, Revised Contributions

Tatiana V. Tchemisova Couverture rigide
291,95 $
2 formats offerts
Computational Intelligence in Security for Information Systems: Cisis'09, 2nd International Workshop Burgos, Spain, September 2009 Proceedings

Paolo Gastaldo Couverture souple
248,50 $
Dynamic Control and Optimization: DCO 2021, Aveiro, Portugal, February 3-5, Selected, Revised Contributions

Tatiana V. Tchemisova Couverture souple
262,95 $
Mathematical Modeling and Simulation of Systems: Selected Papers of 18th International Conference, MODS, November 13-15, 2023, Chernihiv, Ukraine

Volodymyr Kazymyr Couverture souple
364,95 $
2 formats offerts
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti Couverture souple
131,50 $
2 formats offerts
Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

Nicolas Peltier Couverture souple
131,50 $
2 formats offerts
Relational And Algebraic Methods In Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

Uli Fahrenberg Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

ewing lusk

Auteur

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Uwe Glässer Couverture souple
124,50 $
2 formats offerts
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Frank Pfenning Couverture souple
80,50 $
Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers

Couverture souple
71,50 $
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings

Anthony W. Lin Couverture souple
87,95 $
2 formats offerts
Numerical Analysis: Proceedings of the Biennial Conference Held at Dundee, June 28 - July 1, 1977

Couverture souple
51,95 $
Reachability Problems: 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Olivier Bournez Couverture souple
94,95 $
2 formats offerts
Pade Approximations and its Applications: Proceedings of a Conference held at Bad Honnef, Germany, March 7-10, 1983

Couverture souple
59,95 $
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings

Sergei Artemov Couverture souple
124,50 $
2 formats offerts
Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Arne Meier Couverture souple
116,95 $
2 formats offerts
Logical Foundations Of Computer Science: International Symposium, Lfcs 2018, Deerfield Beach, Fl, Usa, January 8-11, 2018, Proceedings

Sergei Artemov Couverture souple
80,50 $
2 formats offerts
Combinatorics On Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings

Thierry Lecroq Couverture souple
102,50 $
2 formats offerts
Learning and Intelligent Optimization: 16th International Conference, LION 16, Milos Island, Greece, June 5-10, 2022, Revised Selected Papers

Dimitris E. Simos Couverture souple
145,95 $
2 formats offerts
Optimization and Operations Research: Proceedings of a Workshop Held at the University of Bonn, October 2-8, 1977

Couverture souple
142,95 $
Mathematical Optimization Theory and Operations Research: 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

Anton Eremeev Couverture souple
116,95 $
2 formats offerts
Numerical Analysis: Proceedings of the 8th Biennial Conference Held at Dundee, Scotland, June 26-29, 1979

Couverture souple
51,95 $
Functional Analysis: Proceedings of a Conference held at Dubrovnik, Yugoslavia, November 2-14, 1981

Couverture souple
59,95 $
Mathematical Theory of Networks and Systems: Proceedings of the Mtns-83 International Symposium Beer Sheva, Israel, June 20-24, 1983

Couverture souple
71,50 $
Applied Physics, System Science and Computers III: Proceedings of the 3rd International Conference on Applied Physics, System Science and Computers (APSAC2018), September 26-28, 2018, Dubrovnik, Croatia

Klimis Ntalianis Couverture souple
248,50 $
Mathematical Optimization Theory and Operations Research: 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30-July 6, 2024, Proceedings

Anton Eremeev Couverture souple
72,95 $
Learning and Intelligent Optimization: 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers

Meinolf Sellmann Couverture souple
145,95 $
2 formats offerts