Passer au contenu principal Passer au contenu du pied de page

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Otmane Ait Mohamed Édition : César Munoz , Sofi Tahar

30 juillet 2008

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

Canada en vedette

Langue

anglais

Pages

321

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783540710653

A Notebook: Explorations of the Application of Fractal Dimension & Ancillary Calculations to Estimate the Center Point from a 3X3 Grid of Actual Topographic Data

Michael McCormack Couverture rigide
78,00 $
Finding Home at the Harbour

Barbara Palmer Rousseau Couverture souple
22,95 $
A Notebook: Explorations of the Application of Fractal Dimension & Ancillary Calculations to Estimate the Center Point from a 3X3 Grid of Actual Topographic Data

Michael McCormack Couverture souple
66,00 $
Sunlight On Climate Change: A Heretic's Guide To Global Climate Hysteria

Ronald Paul Barmby Couverture rigide
30,00 $
Algebraic Methods in Physics: A Symposium for the 60th Birthdays of Jiri Patera and Pavel Winternitz

Yvan Saint-Aubin Couverture rigide
128,95 $
Effective Field Theories In Particle Physics And Cosmology: Lecture Notes Of The Les Houches Summer School: Volume 108, July 2017

Couverture rigide
70,95 $
Sos: What You Can Do To Reduce Climate Change - Simple Actions That Make A Difference

Seth Wynes Livre de poche
16,99 $
2 formats offerts
Reinventing Gravity: A Physicist Goes Beyond Einstein

John W Moffat Couverture souple
22,95 $
An Introduction To Kolmogorov Complexity And Its Applications

Ming Li Couverture rigide
145,95 $
2 formats offerts
Home Place: Essays On Ecology, New Revised Edition

Stan Rowe Couverture souple
24,95 $
Small Forays Into Big Spaces: Eavesdropping at Meetings of Nature and Culture

Robert B Weeden Couverture souple
27,49 $
Small Forays Into Big Spaces: Eavesdropping at Meetings of Nature and Culture

Robert B Weeden Couverture rigide
44,99 $
Analysis in Vector Spaces

Mustafa A. Akcoglu Couverture rigide
229,95 $
The Tree Farm: The Evolution Of Canada's First Community Forest

Michelle Rhodes Couverture souple
35,00 $
Vascular Plant List Bruce and Grey

Livre à reliure spirale
25,00 $
Experimental Physics: Modern Methods

R. A. Dunlap Couverture rigide
269,99 $
Latitudes: Encounters with a Changing Planet

Jean McNeil Couverture souple
28,95 $
Einstein's Special Relativity: Discover It Yourself

Ernie L. McFarland Couverture souple
10,95 $
Nelson Mathematics (Grade 4): Student Workbook - Western Edition

Marian Small Couverture souple
17,44 $
Environmental Narratives in the Huainanzi and the Anthropocene

Matthew James Hamm Couverture rigide
149,00 $
2 formats offerts

Évaluation éditoriale

cesar munoz

Auteur

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Frank Pfenning Couverture souple
80,50 $
Graph-Theoretic Concepts in Computer Science: 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers

Daniel Krá Couverture souple
116,95 $
Logic, Language, Information, and Computation: 21st International Workshop, Wollic 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings

Ulrich Kohlenbach Couverture souple
80,50 $
Belief Functions: Theory and Applications: 7th International Conference, BELIEF 2022, Paris, France, October 26-28, 2022, Proceedings

Sylvie Le Hégarat-Masc Couverture souple
58,50 $
Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers

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

Fabrizio Cariani Couverture souple
80,50 $
Combinatorics On Words: 13th International Conference, Words 2021, Rouen, France, September 13-17, 2021, Proceedings

Thierry Lecroq Couverture souple
102,50 $
2 formats offerts
PDEs and Continuum Models of Phase Transitions: Proceedings of an NSF-CNRS Joint Seminar Held in Nice, France, January 18–22, 1988

Couverture souple
142,95 $
Numerical Analysis and Its Applications: Second International Conference, NAA 2000 Rousse, Bulgaria, June 11-15, 2000. Revised Papers

Couverture souple
181,95 $
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Holger H. Hoos Couverture souple
80,50 $
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

Couverture souple
142,95 $
Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Luke Ong Couverture souple
80,50 $
Non Commutative Harmonic Analysis and Lie Groups: Proceedings of the International Conference Held in Marseille Luminy, June 21-26, 1982

Couverture souple
51,95 $
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings

Xiangdong He Couverture souple
80,50 $
Machine Learning for Astrophysics: Proceedings of the ML4Astro International Conference 30 May - 1 Jun 2022

Filomena Bufano Couverture souple
248,50 $
Computers and Games: 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised Papers

H. Jaap van den Herik Couverture rigide
80,50 $
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings

Simona Ronchi Della Rocca Couverture souple
80,50 $
Nonlinear Analysis, Geometry and Applications: Proceedings of the Second NLAGA-BIRS Symposium, Cap Skirring, Senegal, January 25-30, 2022

Diaraf Seck Couverture souple
248,50 $
Nonlinear Analysis, Geometry and Applications: Proceedings of the Third NLAGA-BIRS Symposium, AIMS-Mbour, Senegal, August 21-27, 2023

Diaraf Seck Couverture souple
58,50 $
Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers

Maria Aloni Couverture souple
80,50 $