Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems.
Just as in its 1st edition, this book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a tutorial way.
This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24–28, 2025.
This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24–28, 2025.
This book constitutes the refereed proceedings of the 21st International Symposium on Algorithmics of Wireless Networks, ALGOWIN 2025, held in Warsaw, Poland, in September 2025.
This book constitutes the refereed proceedings of the 21st International Symposium on Algorithmics of Wireless Networks, ALGOWIN 2025, held in Warsaw, Poland, in September 2025.
This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjing, China during September 20–22, 2024.
This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjing, China during September 20–22, 2024.
This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.
This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
This book constitutes the refereed proceedings of the 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, DGMM 2025, held in Groningen, The Netherlands, during November 3–6, 2025.
This book constitutes the refereed proceedings of the 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, DGMM 2025, held in Groningen, The Netherlands, during November 3–6, 2025.
This book constitutes the refereed proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing, CASC 2025, which took place in Dubai, United Arab Emirates, during November 24–28, 2025.
This book constitutes the refereed proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing, CASC 2025, which took place in Dubai, United Arab Emirates, during November 24–28, 2025.
This book LNCS 16173 constitutes the proceedings of the 12th International Conference on Network Games, Artificial Intelligence, Control and Optimization, NETGCOOP 2025, held in Bilbao, Spain, during October 8-10, 2025.
This book LNCS 16173 constitutes the proceedings of the 12th International Conference on Network Games, Artificial Intelligence, Control and Optimization, NETGCOOP 2025, held in Bilbao, Spain, during October 8-10, 2025.
This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23–25, 2025.
This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23–25, 2025.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
This book, now in an expanded second edition, provides a self-contained undergraduate course on quantum computing based on classroom-tested lecture notes.
This book, now in an expanded second edition, provides a self-contained undergraduate course on quantum computing based on classroom-tested lecture notes.
This book constitutes the proceedings of the 9th International Joint Conference on Rules and Reasoning, RuleML+RR 2025, held in Istanbul, Turkey, during September 22–24, 2025.
This book constitutes the proceedings of the 9th International Joint Conference on Rules and Reasoning, RuleML+RR 2025, held in Istanbul, Turkey, during September 22–24, 2025.
This book constitutes the refereed post proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2024, held in Porto, Portugal during November 17–19, 2024.
This book constitutes the refereed post proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2024, held in Porto, Portugal during November 17–19, 2024.
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.
Geschildert wird das Leben und Wirken von Gottlob Frege (1848-1925), einem der größten Denker der Neuzeit, der in Wismar aufwuchs und der später inmitten der kleineren, aber durch bedeutende Gelehrte und Industrielle aufblühenden Universitätsstadt Jena als Mathematikprofessor tätig war.
This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3–5, 2025.
This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3–5, 2025.
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.
The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St.
This book constitutes the refereed proceedings of the Second International Joint Conference on Conceptual Knowledge Structures, CONCEPTS 2025, held in Cluj-Napoca, Romania, during September 8–12, 2025.