Results 231 to 240 of about 1,081,112 (263)
Some of the next articles are maybe not open access.
Computer-Aided Design, 1986
A coherent theory of computer modelling in architecture is being developed in Cambridge. The theory, based on concepts from many disciplines (especially philosophy and the design disciplines), is intended as a framework within which computer models can be assessed and compared.
openaire +1 more source
A coherent theory of computer modelling in architecture is being developed in Cambridge. The theory, based on concepts from many disciplines (especially philosophy and the design disciplines), is intended as a framework within which computer models can be assessed and compared.
openaire +1 more source
Ultraproducts in the Theory of Models
The Annals of Mathematics, 1961In this paper we shall study an algebraic construction which has become a powerful new tool in the theory of models.1 This construction, called the ultraproduct operation', was first described in Los [20] under the name "champ logique," where its characteristic property of yielding elementary extensions of a given relational system was stated.
openaire +2 more sources
Some remarks on the bearing of model theory on the theory of theories
Synthese, 2008The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the “structuralist” accounts of the nature of theoretical knowledge that we associate with Russell, Ramsey and Carnap. What is unique about the presentation is the prominence it assigns to
openaire +1 more source
A New Era of Cancer Immunotherapy: Converting Theory to Performance
Ca-A Cancer Journal for Clinicians, 1999Steven Rosenberg
exaly
THE THEORY OF THEORIES AS A MODEL OF SYNTAX ACQUISITION
Theoretical Linguistics, 1978openaire +2 more sources