These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the...
The aim of this volume is to present discussion of the main problems in the theory of parallel and distributed architectures. It covers a wide range...
This volume in the Annals of Discrete Mathematics brings together contributions by renowned researchers in combinatorics, graphs and complexity. The...
Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory...
Volumes 21 and 22 of Advances in Chemical Engineering contain ten prototypical paradigms which integrate ideas and methodologies from artificial...
Problem solving is the very area of articifical intelligence AI which, probably, will never result in a complete set of formalized theories, in a...
Handbook of Combinatorics, Volume 1 focuses on basic methods, paradigms, results, issues, and trends across the broad spectrum of combinatorics.The...
Handbook of Combinatorics
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be...
Recursive Algebra, Analysis and Combinatorics