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

Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Laura Kov Couverture souple
80,50 $
2 formats offerts
Communicative Action: Selected Papers of the 2013 IEAS Conference on Language and Action

Tzu-Wei Hung Couverture rigide
160,95 $
2 formats offerts
The Ethical Functions of Scientific Study: An Address Delivered at the Annual Commencement of the University of Michigan, June 28, 1888 (Class

Thomas Chrowder Chamberlin Couverture souple
7,97 $
6 formats offerts
Semantics And Pragmatics: Drawing A Line

Ilse Depraetere Couverture souple
145,95 $
3 formats offerts
Dialog Systems: A Perspective From Language, Logic And Computation

Teresa Lopez-soto Couverture rigide
189,95 $
2 formats offerts
Yin-Yang Code: A Introduction To I-Ching

Ph D Ning Lu Couverture souple
26,95 $
Dialog Systems: A Perspective From Language, Logic And Computation

Teresa Lopez-soto Couverture souple
189,95 $
The Mastery of Being; a Study of the Ultimate Principle of Reality, and the Application Thereof

William Walker 1862-1932 Atkinson Couverture souple
23,87 $
Origin And Deduction Of I Ching, The

Wenwei Xie Couverture rigide
84,95 $
A Manual of Logic - Scholar's Choice Edition

Henry Joseph Turrell Couverture souple
25,95 $
The Effect of Changed Material on Ability to Do Formal Syllogistic Reasoning (Classic Reprint)

Minna Cheves Wilkins Couverture souple
9,57 $
4 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
The Logic of Social Practices II

Raffaela Giovagnoli Couverture souple
58,50 $
The Logic of Social Practices II

Raffaela Giovagnoli Couverture rigide
175,50 $
2 formats offerts
Transparent Intensional Logic: Selected Recent Essays

Couverture souple
48,00 $
Epsa15 Selected Papers: The 5th Conference Of The European Philosophy Of Science Association In Dusseldorf

Michela Massimi Couverture souple
321,50 $
3 formats offerts
Axiomatic Method and Category Theory

Andrei Rodin Couverture rigide
204,50 $
2 formats offerts
VAG/AVO Revision - Evolution oder Revolution?

Livre numérique Kobo
0,00 $
A Present to Youths & Young Men: Printed for Private Circulation and Presentation, Volume 1

Edmund Shorthouse Couverture rigide
48,50 $
3 formats offerts
The Physical Signature of Computation: A Robust Mapping Account

Neal G. Anderson Livre numérique Kobo
83,99 $ ~~Réduction sur le prix courant 104,99 $ à~~

diana costa

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
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
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
Graph Drawing: 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers

David Eppstein Couverture souple
80,50 $
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 $
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 $
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Paper: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

David Naumann Couverture souple
65,95 $
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 $
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Maurice Bruynooghe 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
Languages and Compilers for Parallel Computing: 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021, Revised Selected Papers

Xiaoming Li 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
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

Couverture souple
71,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
Foundations and Practice of Security: 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I

Mohamed Mosbah Couverture souple
116,95 $
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 $
Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Stephen Chang Couverture souple
80,50 $
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

Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Communicative Action: Selected Papers of the 2013 IEAS Conference on Language and Action

The Ethical Functions of Scientific Study: An Address Delivered at the Annual Commencement of the University of Michigan, June 28, 1888 (Class

Semantics And Pragmatics: Drawing A Line

Dialog Systems: A Perspective From Language, Logic And Computation

Yin-Yang Code: A Introduction To I-Ching

Dialog Systems: A Perspective From Language, Logic And Computation

The Mastery of Being; a Study of the Ultimate Principle of Reality, and the Application Thereof

Origin And Deduction Of I Ching, The

A Manual of Logic - Scholar's Choice Edition

The Effect of Changed Material on Ability to Do Formal Syllogistic Reasoning (Classic Reprint)

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

The Logic of Social Practices II

The Logic of Social Practices II

Transparent Intensional Logic: Selected Recent Essays

Epsa15 Selected Papers: The 5th Conference Of The European Philosophy Of Science Association In Dusseldorf

Axiomatic Method and Category Theory

VAG/AVO Revision - Evolution oder Revolution?

A Present to Youths & Young Men: Printed for Private Circulation and Presentation, Volume 1

The Physical Signature of Computation: A Robust Mapping Account

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

Graph Drawing: 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised 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

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

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Paper: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

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

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

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

Languages and Compilers for Parallel Computing: 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021, 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

Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

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

Foundations and Practice of Security: 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I

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

Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers