Mathematical logic and foundations -- Model theory -- Model-theoretic algebra. : Model theory of modules, algebras and categories : International Conference on Model Theory of Modules, Algebras, and Categories, July 28-August 2, 2017, Ettore Majorana Foundation and Centre for Scientific Culture, Erice, Sicily, Italy / Alberto Facchini [and three others], editors

2019

1

Mathematical logic and foundations -- Model theory -- Model theory. : Ordered algebraic structures and related topics : International Conference on Ordered Algebraic Structures and Related Topics, October 12-16, 2015, Centre International de Rencontres Mathématiques (CIRM), Luminy, France / Fabrizio Broglia [and four others], editors

Mathematical logic and foundations -- Set theory -- Large cardinals. : Foundations of mathematics : logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA / Andrés Eduardo Caicedo [and three others], editors

Here are entered works on the abstract mathematical models of devices which operate within a consistent logical system in accordance with a given algorithm; such mathematical theory can be used as a basis for design but is not concerned with hardware

1

Mathematical machines (Calculators) -- See Calculators

Here are entered works on present-day calculators as well as on calculators and mechanical computers of pre-1945 vintage. Works on modern electronic computers first developed after 1945 are entered under Computers

Theoretical representations that simulate the behavior or activity of systems, processes, or phenomena. They include the use of mathematical equations, computers, and other electronic equipment

1

Agriculture -- Mathematical modeling : Modeling processes and their interactions in cropping systems : challenges for the 21st century / Lajpat R. Ahuja, Kurt C. Kersebaum, Ole Wendroth