Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

Name: Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Price: 87.95 CAD
Availability: InStock
Author: Diana Costa
ISBN: 9783031266218

Carlos Areces Édition : Diana Costa

15 février 2023

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

Description

Langue

anglais

Pages

155

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031266218

Cultural Reality - Scholar's Choice Edition

Florian Znaniecki Couverture souple
37,99 $
Berkeley On Abstraction And Abstract Ideas

Willis Doney Couverture souple
66,95 $
3 formats offerts
The Modal Logic Of John Fabri Of Valenciennes (c. 1500): A Study In Token-based Semantics

Christophe Geudens Couverture souple
87,95 $
2 formats offerts
Origin And Deduction Of I Ching, The

Wenwei Xie Couverture rigide
84,95 $
Descartes on Mathematics, Method and Motion: On the Role of Cartesian Physics in the Scientific Revolution

Ladislav Kvasz Couverture souple
72,95 $
The Interpretation of Nature

Nathaniel Southgate Shaler Couverture rigide
38,95 $
The Interpretation Of Nature

Nathaniel Southgate Shaler Couverture souple
39,95 $
The Theory and Practice of Argumentation and Debate - Scholar's Choice Edition

Victor Alvin Ketcham Couverture souple
38,99 $
Plato's 'symposium': A Reader's Guide

Thomas L. Cooksey Couverture souple
51,50 $
Introduction to Medical Humanities: Medicine and the Italian Artistic Heritage

Renzo Pegoraro Couverture rigide
80,50 $
2 formats offerts
The Interpretation of Nature

Nathaniel Southgate Shaler Couverture souple
23,95 $
Introduction to Medical Humanities: Medicine and the Italian Artistic Heritage

Renzo Pegoraro Couverture souple
80,50 $
Varronianus, a Critical and Historical Introduction to the Philological Study of the Latin Language - Scholar's Choice Edition

John William Donaldson Couverture souple
35,99 $
Dialogues of Plato, Volume 1

Anonymous Couverture souple
35,75 $
The Modal Interpretation Of Quantum Mechanics

Dennis Dieks Couverture souple
248,50 $
3 formats offerts
Philosophy of Logic: Second Edition

W. V. Quine Couverture souple
44,00 $
Writing Philosophy: A Guide for Canadian Students, Canadian Edition

Lewis Vaughn Couverture souple
49,99 $
Structure and Interpretation of Quantum Mechanics

R.I.G. Hughes Couverture souple
69,00 $
Simplicius: On Aristotle Physics 1.5-9

Han Baltussen Couverture rigide
321,50 $
Estudos pré-socráticos na América Latina: with english translations

Livre numérique Kobo
9,99 $

Évaluation éditoriale

diana costa

Auteur

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
80,50 $
2 formats offerts
Dynamic Logic. New Trends and Applications: Third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers

Manuel A. Martins Couverture souple
80,50 $
2 formats offerts
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Couverture souple
116,95 $
2 formats offerts
Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers

Jan Mazal Couverture souple
124,50 $
2 formats offerts
Grid Computing: Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Pape: Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers

Marios D. Dikaiakos Couverture souple
80,50 $
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Couverture souple
94,95 $
2 formats offerts
Emerging Technologies for Education: 8th International Symposium, SETE 2023, Sydney, Australia, November 26-28, 2023, Revised Selected Papers, Part II

Zuzana Kubincov Couverture souple
189,95 $
2 formats offerts
Emerging Technologies for Education: 8th International Symposium, SETE 2023, Sydney, Australia, November 26-28, 2023, Revised Selected Papers, Part I

Zuzana Kubincov Couverture souple
109,50 $
2 formats offerts
Foundations and Practice of Security: 14th International Symposium, FPS 2021, Paris, France, December 7-10, 2021, Revised Selected Papers

Esma Aïmeur Couverture souple
94,95 $
2 formats offerts
Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, IaEi, Romania, September 20-23, 2022, Proceedings

Agata Ciabattoni Couverture souple
80,50 $
2 formats offerts
Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Nina Gierasimczuk Couverture souple
58,50 $
Innovative Security Solutions for Information Technology and Communications: 16th International Conference, SecITC 2023, Bucharest, Romania, November 23-24, 2023, Revised Selected Papers

Mark Manulis Couverture souple
58,50 $
Arithmetic of Finite Fields: 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers

Sihem Mesnager Couverture souple
124,50 $
2 formats offerts
Variable Neighborhood Search: 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4-7, 2018, Revised Selected Papers

Angelo Sifaleras Couverture souple
102,50 $
2 formats offerts
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Couverture souple
58,50 $
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Couverture souple
58,50 $
Languages and Compilers for Parallel Computing: 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers

Charith Mendis Couverture souple
87,95 $
2 formats offerts
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Michael Hanus Couverture souple
124,50 $
2 formats offerts
Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedin: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings

Sujata Ghosh Couverture souple
94,95 $
2 formats offerts

Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLi 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers

Description

Vous aimerez peut-être aussi

Cultural Reality - Scholar's Choice Edition

Berkeley On Abstraction And Abstract Ideas

The Modal Logic Of John Fabri Of Valenciennes (c. 1500): A Study In Token-based Semantics

Origin And Deduction Of I Ching, The

Descartes on Mathematics, Method and Motion: On the Role of Cartesian Physics in the Scientific Revolution

The Interpretation of Nature

The Interpretation Of Nature

The Theory and Practice of Argumentation and Debate - Scholar's Choice Edition

Plato's 'symposium': A Reader's Guide

Introduction to Medical Humanities: Medicine and the Italian Artistic Heritage

The Interpretation of Nature

Introduction to Medical Humanities: Medicine and the Italian Artistic Heritage

Varronianus, a Critical and Historical Introduction to the Philological Study of the Latin Language - Scholar's Choice Edition

Dialogues of Plato, Volume 1

The Modal Interpretation Of Quantum Mechanics

Philosophy of Logic: Second Edition

Writing Philosophy: A Guide for Canadian Students, Canadian Edition

Structure and Interpretation of Quantum Mechanics

Simplicius: On Aristotle Physics 1.5-9

Estudos pré-socráticos na América Latina: with english translations

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications: Third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers

Grid Computing: Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Pape: Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers

Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Emerging Technologies for Education: 8th International Symposium, SETE 2023, Sydney, Australia, November 26-28, 2023, Revised Selected Papers, Part II

Emerging Technologies for Education: 8th International Symposium, SETE 2023, Sydney, Australia, November 26-28, 2023, Revised Selected Papers, Part I

Foundations and Practice of Security: 14th International Symposium, FPS 2021, Paris, France, December 7-10, 2021, Revised Selected Papers

Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, IaEi, Romania, September 20-23, 2022, Proceedings

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Innovative Security Solutions for Information Technology and Communications: 16th International Conference, SecITC 2023, Bucharest, Romania, November 23-24, 2023, Revised Selected Papers

Arithmetic of Finite Fields: 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers

Variable Neighborhood Search: 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4-7, 2018, Revised Selected Papers

Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Languages and Compilers for Parallel Computing: 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers

Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedin: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings