Logic and Automata — Scriptorium Liberum

Logic, Automata, and Algorithms

✍ Mark A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova and Alekse 📂 Library 📅 1971 🏛 AP 🌐 English

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrang

Logic, Automata, and Algorithms

📁 Logic, Automata, and Algorithms

✍ Mark A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova and Alekse 📂 Library 📅 1971 🏛 Academic Press 🌐 English

Logic, Automata, and Algorithms

📁 Logic, Automata, and Algorithms

✍ Mark A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova and Alekse 📂 Library 📅 1971 🏛 Academic Press 🌐 English

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrang

Logic, Automata, and Computational Compl

📁 Logic, Automata, and Computational Complexity

✍ Bruce M. Kapron, editor 📂 Library 📅 2023 🏛 Association for Computing Machinery 🌐 English

Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and

Languages Automata and Logic 001

📁 Languages Automata and Logic 001

📂 Library 🌐 English

Logic and Automata: History and Perspect

📁 Logic and Automata: History and Perspectives

✍ Jorg Flum, Erich Gradel, Thomas Wilke 📂 Library 📅 2008 🏛 Amsterdam University Press 🌐 English

Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d’horizon of automata theory and logic. The twenty papers in this volume co