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

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 $
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 $
Conference on Group Theory: University of Wisconsin-Parkside 1972

Couverture souple
51,95 $
Coding Theory and Applications: 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014

Raquel Pinto Couverture rigide
160,95 $
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 $
The Study of Time: Proceedings of the First Conference of the International Society for the Study of Time Oberwolfach (Black Forest) - West Germany

J. T. Fraser Couverture souple
160,95 $
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings

CATHERINE DUBOIS Couverture souple
87,95 $
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 $
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 $
Proceedings of a Conference on Operator Theory: Dalhousie University, Halifax, Nova Scotia, April 13th and 14th, 1973

Couverture souple
59,95 $
Finite Fields and Applications: Proceedings of The Fifth International Conference on Finite Fields and Applications Fq 5, held at the University of Augsburg, Germany, August 2-6, 1999

Dieter Jungnickel Couverture souple
248,50 $
2 formats offerts
Teoria algebrica dei meccanismi automatici: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 20-29, 1959

Couverture souple
90,95 $
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
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
Accelerating Discoveries in Data Science and Artificial Intelligence II: ICDSAI 2023, LIET Vizianagaram, India, April 24-25

Frank M. Lin Couverture souple
58,50 $
New Variational Techniques in Mathematical Physics: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 17-26, 1973

Gianfranco Capriz Couverture souple
102,50 $
Singular Perturbations and Boundary Layer Theory: Proceedings of the Conference Held at the Ecole Centrale de Lyon, December 8-10, 1976

Couverture souple
76,95 $
The Arbitrariness Of The Sign In Question: Proceedings Of A Clg 100 Workshop. Geneva, January 10-12, 2017

Couverture souple
42,00 $
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

É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
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 $
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 $
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 $
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: 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: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Nicolas Peltier Couverture souple
116,95 $
2 formats offerts
Inductive Logic Programming: 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers

Fabrizio Riguzzi Couverture souple
72,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
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
Deontic Logic and Normative Systems: 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Fabrizio Cariani 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
Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings

Nicholas Olenev Couverture souple
80,50 $
2 formats offerts
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
Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Gerson Zaverucha Couverture souple
65,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 $
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
Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

Jochen Koenemann Couverture souple
94,95 $
2 formats offerts
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

Lev D. Beklemishev Couverture souple
80,50 $

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

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

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

Conference on Group Theory: University of Wisconsin-Parkside 1972

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

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

The Study of Time: Proceedings of the First Conference of the International Society for the Study of Time Oberwolfach (Black Forest) - West Germany

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

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

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

Proceedings of a Conference on Operator Theory: Dalhousie University, Halifax, Nova Scotia, April 13th and 14th, 1973

Finite Fields and Applications: Proceedings of The Fifth International Conference on Finite Fields and Applications Fq 5, held at the University of Augsburg, Germany, August 2-6, 1999

Teoria algebrica dei meccanismi automatici: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 20-29, 1959

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

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

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

New Variational Techniques in Mathematical Physics: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 17-26, 1973

Singular Perturbations and Boundary Layer Theory: Proceedings of the Conference Held at the Ecole Centrale de Lyon, December 8-10, 1976

The Arbitrariness Of The Sign In Question: Proceedings Of A Clg 100 Workshop. Geneva, January 10-12, 2017

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

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

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

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

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

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

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

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

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

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

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

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

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

Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 - October 2, 2020, Proceedings

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

Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, 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

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

Approximation and Online Algorithms: 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised Selected Papers

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