Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Name: Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Price: 71.50 CAD
Availability: InStock
Author: James Alves-Foss
ISBN: 9783540602750

Édition : E Thomas Schubert , Phillip J Windley , James Alves-Foss

23 août 1995

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

Description

Langue

anglais

Pages

408

Lecture Notes In Computer Science

Publié par: Springer

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

ISBN: 9783540602750

Web and Wireless Geographical Information Systems: 20th International Symposium, W2GIS 2023, Quebec City, QC, Canada, June 12-13, 2023, Proceedings

Mir Abolfazl Mostafavi Couverture souple
87,95 $
2 formats offerts
Challenging the Future with Lean: 9th IFIP WG 5.7 European Lean Educator Conference, ELEC 2023, 's-Hertogenbosch, The Netherlands, October 24-26, 2023, Proceedings

Ton van Kollenburg Couverture rigide
160,95 $
2 formats offerts
Foundations of Intelligent Systems: 26th International Symposium, ISMIS 2022, Cosenza, Italy, October 3-5, 2022, Proceedings

Michelangelo Ceci Couverture souple
80,50 $
2 formats offerts
Information Search, Integration, And Personlization: 11th International Workshop, Isip 2016, Lyon, France, November 1-4, 2016, Revised Selected Papers

Dimitris Kotzinos Couverture souple
80,50 $
2 formats offerts
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Couverture souple
71,50 $
The Semantic Web - ISWC 2024: 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I

Gianluca Demartini Couverture souple
94,95 $
Dynamics of Information Systems: 6th International Conference, DIS 2023, Prague, Czech Republic, September 3-6, 2023, Revised Selected Papers

Hossein Moosaei Couverture souple
58,50 $
Smart Card Research and Advanced Applications: 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papers

Sonia Bela Couverture souple
80,50 $
2 formats offerts
Data Integration in the Life Sciences: 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings

Naveen Ashish Couverture souple
80,50 $
2 formats offerts
Artificial General Intelligence: 13th International Conference, Agi 2020, St. Petersburg, Russia, September 16-19, 2020, Proceedings

Ben Goertzel Couverture souple
145,95 $
2 formats offerts
Dynamics of Information Systems: 6th International Conference, DIS 2023, Prague, Czech Republic, September 3-6, 2023, Revised Selected Papers

Hossein Moosaei Couverture souple
94,95 $
2 formats offerts
The Semantic Web - ISWC 2024: 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III

Gianluca Demartini Couverture souple
131,50 $
Intelligent Systems and Data Science: First International Conference, ISDS 2023, Can Tho, Vietnam, November 11-12, 2023, Proceedings, Part II

Thai-Nghe Nguyen Couverture souple
124,50 $
2 formats offerts
The Semantic Web - ISWC 2024: 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II

Gianluca Demartini Couverture souple
94,95 $
Web Information Systems Engineering - Wise 2020: 21st International Conference, Amsterdam, The Netherlands, October 20-24, 2020, Proceedings, Part Ii

Zhisheng Huang Couverture souple
80,50 $
2 formats offerts
Modern Information Technology and IT Education: 13th International Conference, SITITO 2018, Moscow, Russia, November 29 - December 2, 2018, Revised Selected Papers

Vladimir Sukhomlin Couverture souple
80,50 $
2 formats offerts
Frontiers of Algorithmics: 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings

Minming Li Couverture souple
109,50 $
2 formats offerts
Web Information Systems Engineering - Wise 2020: 21st International Conference, Amsterdam, The Netherlands, October 20-24, 2020, Proceedings, Part I

Zhisheng Huang Couverture souple
80,50 $
2 formats offerts
Operations Research and Enterprise Systems: 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers

Greg H. Parlier Couverture souple
80,50 $
2 formats offerts
SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

Rå Freivalds Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

e thomas schubert

Auteur

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Didier Bert Couverture souple
80,50 $
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Couverture souple
142,95 $
Combinatorics, Graph Theory and Computing: SEICCGTC 2022, Boca Raton, USA, March 7-11

Frederick Hoffman Couverture rigide
321,50 $
Computational Methods For Snps And Haplotype Inference: DIMACS/RECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002, Revised Papers

Sorin Istrail Couverture souple
80,50 $
From Animals to Animats 12: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings

Tom Ziemke Couverture souple
80,50 $
Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

Couverture souple
71,50 $
Systems: Approaches, Theories, Applications: Including the Proceedings of the Eighth George Hudson Symposium Held at Plattsburgh, New York, April 11-12, 1975

Couverture souple
71,50 $
2 formats offerts
Annotating, Extracting and Reasoning about Time and Events: International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers

Frank Schilder Couverture rigide
80,50 $
Clifford Analysis And Related Topics: In Honor Of Paul A. M. Dirac, Cart 2014, Tallahassee, Florida, December 15-17

Paula Cerejeiras Couverture souple
160,95 $
3 formats offerts
Advances in Learning Classifier Systems: 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers

Pier L. Lanzi Couverture souple
80,50 $
VLSI-SoC: Advanced Topics on Systems on a Chip: A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA

Ricardo Reis Couverture souple
160,95 $
2 formats offerts
Universal Algebra and Lattice Theory: Proceedings of the Fourth International Conference Held at Puebla, Mexico, 1982

Couverture souple
59,95 $
Optimization and Operations Research: Proceedings of a Workshop Held at the University of Bonn, October 2-8, 1977

Couverture souple
142,95 $
Advances in X-Ray Analysis: Volume 7 Proceedings of the Twelfth Annual Conference on Applications of X-Ray Analysis Held August 7-9, 1963

William M Mueller Couverture souple
142,95 $
Low Frequency Astrophysics from Space: Proceedings of an International Workshop Held in Crystal City, Virginia, USA, on 8 and 9 January 1990

Couverture souple
71,50 $
Spectral And High Order Methods For Partial Differential Equations Icosahom 2014: Selected Papers From The Icosahom Conference, June 23-27, 2014, Salt Lake City, Utah, Usa

Robert M. Kirby Couverture souple
248,50 $
3 formats offerts
Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI: 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers

Jeffrey Nichols Couverture souple
204,50 $
2 formats offerts
TOPO 72 - General Topology and its Applications: Second Pittsburgh International Conference, December 18-22, 1972

Couverture souple
76,95 $
Advances in Self-Organizing Maps and Learning Vector Quantization: Proceedings Of The 11th International Workshop Wsom 2016, Houston, Texas, Usa, January 6-8, 2016

Erzsébet Merényi Couverture souple
248,50 $
2 formats offerts
Solar and Extra-Solar Planetary Systems: Lectures Held at the Astrophysics School XI Organized by the European Astrophysics Doctoral Network (EADN) in The Burren, Ballyvaughn, Ireland, 7-18 September 1998

I.P. Williams Couverture souple
160,95 $
2 formats offerts

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Description

Vous aimerez peut-être aussi

Web and Wireless Geographical Information Systems: 20th International Symposium, W2GIS 2023, Quebec City, QC, Canada, June 12-13, 2023, Proceedings

Challenging the Future with Lean: 9th IFIP WG 5.7 European Lean Educator Conference, ELEC 2023, 's-Hertogenbosch, The Netherlands, October 24-26, 2023, Proceedings

Foundations of Intelligent Systems: 26th International Symposium, ISMIS 2022, Cosenza, Italy, October 3-5, 2022, Proceedings

Information Search, Integration, And Personlization: 11th International Workshop, Isip 2016, Lyon, France, November 1-4, 2016, Revised Selected Papers

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

The Semantic Web - ISWC 2024: 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I

Dynamics of Information Systems: 6th International Conference, DIS 2023, Prague, Czech Republic, September 3-6, 2023, Revised Selected Papers

Smart Card Research and Advanced Applications: 18th International Conference, CARDIS 2019, Prague, Czech Republic, November 11-13, 2019, Revised Selected Papers

Data Integration in the Life Sciences: 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings

Artificial General Intelligence: 13th International Conference, Agi 2020, St. Petersburg, Russia, September 16-19, 2020, Proceedings

Dynamics of Information Systems: 6th International Conference, DIS 2023, Prague, Czech Republic, September 3-6, 2023, Revised Selected Papers

The Semantic Web - ISWC 2024: 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III

Intelligent Systems and Data Science: First International Conference, ISDS 2023, Can Tho, Vietnam, November 11-12, 2023, Proceedings, Part II

The Semantic Web - ISWC 2024: 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II

Web Information Systems Engineering - Wise 2020: 21st International Conference, Amsterdam, The Netherlands, October 20-24, 2020, Proceedings, Part Ii

Modern Information Technology and IT Education: 13th International Conference, SITITO 2018, Moscow, Russia, November 29 - December 2, 2018, Revised Selected Papers

Frontiers of Algorithmics: 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 Proceedings

Web Information Systems Engineering - Wise 2020: 21st International Conference, Amsterdam, The Netherlands, October 20-24, 2020, Proceedings, Part I

Operations Research and Enterprise Systems: 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers

SOFSEM 2016: Theory and Practice of Computer Science: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Combinatorics, Graph Theory and Computing: SEICCGTC 2022, Boca Raton, USA, March 7-11

Computational Methods For Snps And Haplotype Inference: DIMACS/RECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002, Revised Papers

From Animals to Animats 12: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012, Proceedings

Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers

Systems: Approaches, Theories, Applications: Including the Proceedings of the Eighth George Hudson Symposium Held at Plattsburgh, New York, April 11-12, 1975

Annotating, Extracting and Reasoning about Time and Events: International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers

Clifford Analysis And Related Topics: In Honor Of Paul A. M. Dirac, Cart 2014, Tallahassee, Florida, December 15-17

Advances in Learning Classifier Systems: 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers

VLSI-SoC: Advanced Topics on Systems on a Chip: A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA

Universal Algebra and Lattice Theory: Proceedings of the Fourth International Conference Held at Puebla, Mexico, 1982

Optimization and Operations Research: Proceedings of a Workshop Held at the University of Bonn, October 2-8, 1977

Advances in X-Ray Analysis: Volume 7 Proceedings of the Twelfth Annual Conference on Applications of X-Ray Analysis Held August 7-9, 1963

Low Frequency Astrophysics from Space: Proceedings of an International Workshop Held in Crystal City, Virginia, USA, on 8 and 9 January 1990

Spectral And High Order Methods For Partial Differential Equations Icosahom 2014: Selected Papers From The Icosahom Conference, June 23-27, 2014, Salt Lake City, Utah, Usa

Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI: 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers

TOPO 72 - General Topology and its Applications: Second Pittsburgh International Conference, December 18-22, 1972

Advances in Self-Organizing Maps and Learning Vector Quantization: Proceedings Of The 11th International Workshop Wsom 2016, Houston, Texas, Usa, January 6-8, 2016

Solar and Extra-Solar Planetary Systems: Lectures Held at the Astrophysics School XI Organized by the European Astrophysics Doctoral Network (EADN) in The Burren, Ballyvaughn, Ireland, 7-18 September 1998