Image de couverture de livre

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /

This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from...

Description complète

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Herzig, Andreas (Éditeur intellectuel), Luo, Jieting (Éditeur intellectuel), Pardo, Pere (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	anglais
Publié:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Édition:	1st ed. 2023.
Collection:	Lecture Notes in Artificial Intelligence, 14156
Sujets:	Artificial intelligence. Computer programming. Compilers (Computer programs). Algorithms. Computer science. Machine theory. Artificial Intelligence. Programming Techniques. Compilers and Interpreters. Design and Analysis of Algorithms. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory.
Accès en ligne:	https://doi.org/10.1007/978-3-031-40875-5
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Publié: (2025)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Publié: (2023)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Publié: (2025)

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Publié: (2023)

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Publié: (2024)

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings /
Publié: (2023)

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /
Publié: (2025)

Introduction to Compiler Design
par: Mogensen, Torben Ægidius
Publié: (2024)

Programming Languages: Principles and Paradigms
par: Gabbrielli, Maurizio, et autres
Publié: (2023)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Publié: (2023)

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings /
Publié: (2025)

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /
Publié: (2023)

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings /
Publié: (2023)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Publié: (2024)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
par: Aho, Alfred V.

The Essence of Compilers /
par: Hunter, Robin
Publié: (2007)

The Essence of Compilers /
par: Hunter, Robin
Publié: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
par: Aho, Alfred V.

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
par: Aho, Alfred V.

The Essence of Compilers /
par: Hunter, Robin
Publié: (2007)

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations Theories and Methodologies /
par: Xu, Yejun
Publié: (2023)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Publié: (2023)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Publié: (2025)

Learn coding with Python and JavaScript A practical introduction for beginners /
par: Zuckarelli, Joachim L.
Publié: (2024)

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings /
Publié: (2025)

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings /
Publié: (2023)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
Publié: (2023)

Modern compiler design
par: Grune, Dick
Publié: (2000)

Compiler Construction Fundamentals and Applications /
par: Mössenböck, Hanspeter
Publié: (2025)

Design Patterns with Java An Introduction /
par: Musch, Olaf
Publié: (2023)

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /
Publié: (2024)

Graph Transformation 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings /
Publié: (2023)

Guide to Java A Concise Introduction to Programming /
par: Streib, James T., et autres
Publié: (2023)

Prolog: The Next 50 Years
Publié: (2023)

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings /
Publié: (2024)

A Beginners Guide to Python 3 Programming
par: Hunt, John
Publié: (2023)

Advanced Guide to Python 3 Programming
par: Hunt, John
Publié: (2023)

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings /
Publié: (2025)

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings /
Publié: (2024)

A Concise Introduction to Software Engineering With Open Source and GenAI /
par: Jalote, Pankaj
Publié: (2025)