Obálka

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /

This book constitutes the refereed proceedings of the 6th International Conference on Logic and Argumentation, CLAR 2025, held in Taiyuan, China, during June 14–16, 2025. The 22 full papers included in this book were carefully reviewed and selected from 38 submissions. These papers focus on the rece...

Uloženo v:

Podrobná bibliografie
Korporativní autor:	SpringerLink (Online service)
Další autoři:	Ågotnes, Thomas (Editor), Doder, Dragan (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Vydání:	1st ed. 2025.
Edice:	Lecture Notes in Artificial Intelligence, 15712
Témata:	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.
On-line přístup:	https://doi.org/10.1007/978-981-96-7956-0
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Vydáno: (2023)

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

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

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

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

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

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

Programming Languages: Principles and Paradigms
Autor: Gabbrielli, Maurizio, a další
Vydáno: (2023)

Introduction to Compiler Design
Autor: Mogensen, Torben Ægidius
Vydáno: (2024)

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

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

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

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

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

The Essence of Compilers /
Autor: Hunter, Robin
Vydáno: (2007)

The Essence of Compilers /
Autor: Hunter, Robin
Vydáno: (2007)

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

The Essence of Compilers /
Autor: Hunter, Robin
Vydáno: (2007)

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

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

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations Theories and Methodologies /
Autor: Xu, Yejun
Vydáno: (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 /
Vydáno: (2025)

Learn coding with Python and JavaScript A practical introduction for beginners /
Autor: Zuckarelli, Joachim L.
Vydáno: (2024)

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

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

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

Compiler Construction Fundamentals and Applications /
Autor: Mössenböck, Hanspeter
Vydáno: (2025)

Modern compiler design
Autor: Grune, Dick
Vydáno: (2000)

Design Patterns with Java An Introduction /
Autor: Musch, Olaf
Vydáno: (2023)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Vydáno: (2025)

Guide to Java A Concise Introduction to Programming /
Autor: Streib, James T., a další
Vydáno: (2023)

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

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

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

A Beginners Guide to Python 3 Programming
Autor: Hunt, John
Vydáno: (2023)

Advanced Guide to Python 3 Programming
Autor: Hunt, John
Vydáno: (2023)

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

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

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

A Concise Introduction to Software Engineering With Open Source and GenAI /
Autor: Jalote, Pankaj
Vydáno: (2025)