Matematiske fundament

Foundations of Genetic Algorithms 1991 (FOGA 1) discusses the theoretical foundations of genetic algorithms (GA) and classifier systems. This book compiles research papers on …

Primary Maths for Scotland Textbook 1C is the third of 3 first level textbooks. These engaging and pedagogically rigorous books are the first maths textbooks for Scotland …

Although there are some books dealing with algebraic theory of automata, their contents consist mainly of Krohn-Rhodes theory and related topics. The topics in the present book are …

This challenging activity book was created to extend the "number of the day" activities. Activities include skip counting, basic algebra, place value, adding on and decreasing, …

This book has a fundamental relationship to the International Seminar on Fuzzy Set Theory held each September in Linz, Austria. Beginning with the tenth Seminar, the intimate …

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full …

Michael Holzhauser discusses generalizations of well-known network flow and packing problems by additional or modified side constraints.

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of …

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in …