Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Name: Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Christoph Weidenbach
ISBN: 9783319085869

Stéphane Demri Édition : Deepak Kapur , Christoph Weidenbach

4 août 2014

80,50 $

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 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

528

Lecture Notes in Artificial Intelligence

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783319085869

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

CATHERINE DUBOIS Couverture souple
87,95 $
Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020

Vladimir A. Garanzha Couverture rigide
364,95 $
2 formats offerts
Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020

Vladimir A. Garanzha Couverture souple
364,95 $
New Directions In Paraconsistent Logic: 5th Wcp, Kolkata, India, February 2014

Jean-Yves Beziau Couverture souple
248,50 $
3 formats offerts
Finite Fields and their Applications: Proceedings of the 14th International Conference on Finite Fields and their Applications, Vancouver, June 3-7, 2019

Couverture rigide
255,99 $
Accelerating Discoveries in Data Science and Artificial Intelligence II: ICDSAI 2023, LIET Vizianagaram, India, April 24-25

Frank M. Lin Couverture souple
58,50 $
Accelerating Discoveries in Data Science and Artificial Intelligence II: ICDSAI 2023, LIET Vizianagaram, India, April 24-25

Frank M. Lin Couverture rigide
321,50 $
2 formats offerts
Mathematical Analysis With Applications: In Honor Of The 90th Birthday Of Constantin Corduneanu, Ekaterinburg, Russia, July 2018

Sandra Pinelas Couverture rigide
262,95 $
2 formats offerts
Geometry and Complex Variables: proceedings of an international meeting on the occasion of the IX centennial of the University of Bologna

S. Coen Couverture rigide
355,50 $
3 formats offerts
Mathematical Analysis With Applications: In Honor Of The 90th Birthday Of Constantin Corduneanu, Ekaterinburg, Russia, July 2018

Sandra Pinelas Couverture souple
262,95 $
Mathematical Finance: Workshop of the Mathematical Finance Research Project, Konstanz, Germany, October 5-7, 2000

Michael Kohlmann Couverture souple
248,50 $
2 formats offerts
Coding Theory and Applications: 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014

Raquel Pinto Couverture rigide
160,95 $
2 formats offerts
Group Theory: Proceedings of a Miniconference Held at the Australian National University, Canberra, November 4-6, 1975

Couverture souple
51,95 $
Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

Mohua Banerjee Couverture souple
102,50 $
2 formats offerts
Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, Celebrating the 150th Anniversary of G.F. Voronoi, Moscow, Russia, December 2018

Vladimir A. Garanzha Couverture souple
248,50 $
Singularities in Boundary Value Problems: Proceedings of the NATO Advanced Study Institute held at Maratea, Italy, September 22 - October 3, 1980

H.G. Garnir Couverture souple
321,50 $
2 formats offerts
Global Differentiable Dynamics: Proceedings of the Conference, held at Case Western Reserve University, Cleveland, Ohio, June 2-6, 1969

Couverture souple
51,95 $
Mathematical Optimization Theory and Operations Research: Recent Trends: 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2-6, 2022, Revised Selected Papers

Yury Kochetov Couverture souple
80,50 $
2 formats offerts
Abelian Group Theory: Proceedings of the Conference Held at the University of Hawaii, Honolulu, Usa, December 28, 1982 - January 4, 1983

Couverture souple
76,95 $
Mathematical Optimisation in Economics: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in L'Aquila, Italy, August 29-September 7, 1965

Bruno de Finetti Couverture souple
72,95 $

Évaluation éditoriale

deepak kapur

Auteur

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Didier Galmiche Couverture souple
80,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
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Nicolas Peltier Couverture souple
116,95 $
2 formats offerts
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Michael Fisher Couverture souple
80,50 $
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Jasmin Blanchette Couverture souple
72,95 $
2 formats offerts
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Stefan Kiefer Couverture souple
72,95 $
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
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Jean Goubault-Larrecq Couverture souple
72,95 $
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Gilles Dowek Couverture souple
80,50 $
Deontic Logic and Normative Systems: 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Fabrizio Cariani Couverture souple
80,50 $
Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Fabrizio Riguzzi Couverture souple
72,95 $
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Lev D. Beklemishev Couverture souple
80,50 $
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Couverture souple
94,95 $
2 formats offerts
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
Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Nicholas Olenev Couverture souple
80,50 $
2 formats offerts
Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020

Vladimir A. Garanzha Couverture rigide
364,95 $
2 formats offerts
Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Javier Cámara Couverture souple
58,50 $
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Jaros Byrka Couverture souple
94,95 $
2 formats offerts
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

CATHERINE DUBOIS Couverture souple
87,95 $
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I

Sheng Wen Couverture souple
80,50 $
2 formats offerts

Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Description

Vous aimerez peut-être aussi

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020

Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020

New Directions In Paraconsistent Logic: 5th Wcp, Kolkata, India, February 2014

Finite Fields and their Applications: Proceedings of the 14th International Conference on Finite Fields and their Applications, Vancouver, June 3-7, 2019

Accelerating Discoveries in Data Science and Artificial Intelligence II: ICDSAI 2023, LIET Vizianagaram, India, April 24-25

Accelerating Discoveries in Data Science and Artificial Intelligence II: ICDSAI 2023, LIET Vizianagaram, India, April 24-25

Mathematical Analysis With Applications: In Honor Of The 90th Birthday Of Constantin Corduneanu, Ekaterinburg, Russia, July 2018

Geometry and Complex Variables: proceedings of an international meeting on the occasion of the IX centennial of the University of Bologna

Mathematical Analysis With Applications: In Honor Of The 90th Birthday Of Constantin Corduneanu, Ekaterinburg, Russia, July 2018

Mathematical Finance: Workshop of the Mathematical Finance Research Project, Konstanz, Germany, October 5-7, 2000

Coding Theory and Applications: 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014

Group Theory: Proceedings of a Miniconference Held at the Australian National University, Canberra, November 4-6, 1975

Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, Celebrating the 150th Anniversary of G.F. Voronoi, Moscow, Russia, December 2018

Singularities in Boundary Value Problems: Proceedings of the NATO Advanced Study Institute held at Maratea, Italy, September 22 - October 3, 1980

Global Differentiable Dynamics: Proceedings of the Conference, held at Case Western Reserve University, Cleveland, Ohio, June 2-6, 1969

Mathematical Optimization Theory and Operations Research: Recent Trends: 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2-6, 2022, Revised Selected Papers

Abelian Group Theory: Proceedings of the Conference Held at the University of Hawaii, Honolulu, Usa, December 28, 1982 - January 4, 1983

Mathematical Optimisation in Economics: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in L'Aquila, Italy, August 29-September 7, 1965

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Deontic Logic and Normative Systems: 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

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

Advances in Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Revised Selected Papers

Numerical Geometry, Grid Generation and Scientific Computing: Proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020

Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7-8, 2023, Proceedings

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I