Buchumschlag

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /

This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022. The 11 regular papers presented in this book were carefully reviewed and selected from 26 submissions The papers in these proceedings repre...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Muggleton, Stephen H. (HerausgeberIn), Tamaddoni-Nezhad, Alireza (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Ausgabe:	1st ed. 2024.
Schriftenreihe:	Lecture Notes in Artificial Intelligence, 13779
Schlagworte:	Artificial intelligence. Computer engineering. Computer networks . Compilers (Computer programs). Computer science. Machine theory. Artificial Intelligence. Computer Engineering and Networks. Compilers and Interpreters. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory.
Online-Zugang:	https://doi.org/10.1007/978-3-031-55630-2
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Veröffentlicht: (2023)

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

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

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

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

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

Programming Languages: Principles and Paradigms
von: Gabbrielli, Maurizio, et al.
Veröffentlicht: (2023)

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

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Veröffentlicht: (2023)

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Veröffentlicht: (2024)

Introduction to Compiler Design
von: Mogensen, Torben Ægidius
Veröffentlicht: (2024)

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

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

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

The Essence of Compilers /
von: Hunter, Robin
Veröffentlicht: (2007)

The Essence of Compilers /
von: Hunter, Robin
Veröffentlicht: (2007)

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

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

The Essence of Compilers /
von: Hunter, Robin
Veröffentlicht: (2007)

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

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings /
Veröffentlicht: (2025)

Learn coding with Python and JavaScript A practical introduction for beginners /
von: Zuckarelli, Joachim L.
Veröffentlicht: (2024)

AIxIA 2022 – Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings /
Veröffentlicht: (2023)

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings /
Veröffentlicht: (2023)

Modern compiler design
von: Grune, Dick
Veröffentlicht: (2000)

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
Veröffentlicht: (2023)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Veröffentlicht: (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 /
Veröffentlicht: (2025)

Compiler Construction Fundamentals and Applications /
von: Mössenböck, Hanspeter
Veröffentlicht: (2025)

AIxIA 2024 – Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings /
Veröffentlicht: (2025)

Guide to Java A Concise Introduction to Programming /
von: Streib, James T., et al.
Veröffentlicht: (2023)

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

AIxIA 2023 – Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings /
Veröffentlicht: (2023)

Design Patterns with Java An Introduction /
von: Musch, Olaf
Veröffentlicht: (2023)

A Concise Introduction to Software Engineering With Open Source and GenAI /
von: Jalote, Pankaj
Veröffentlicht: (2025)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Veröffentlicht: (2024)

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