Filters








6,437 Hits in 5.0 sec

Author index volume 89 (1997)

1997 Annals of Pure and Applied Logic  
(2-3) (2-3) ( Else&r Science B.V. 1) (1) (z-3) (1) (2-3) (1) (1) (1) (1) (1) (1) 149-209 21 l-229 101-115 3-15 17-35 23 l-273 93-99 117-148 37p 43 45p 52 533 73 15-83 93.  ... 
doi:10.1016/s0168-0072(97)80296-5 fatcat:kbm2crf6uzflbpbf5d4pthdbwy

Preface

Douglas Cenzer, Jeffrey B. Remmel
1998 Annals of Pure and Applied Logic  
Preface Computability theory (or recursion theory) has been applied to many areas of mathematics.  ...  Cenzer and J. Remmel determine the complexity of index sets for II(: classes and give applications to logical theories, Boolean algebras and various graph theory and matching problems.  ... 
doi:10.1016/s0168-0072(97)00051-1 fatcat:qyqwuib3gjainfcaw5fyuqanxy

Master index to volumes 41-50

1990 Annals of Pure and Applied Logic  
44 (1989) 1-23 Apter, A., DiPrisco, C., Henle, J. and Zwicker, W., Filter spaces: towards a unified theory of large cardinal and embedding axioms 41(1989) 93-106 Ash, C.J., Labelling systems and r.e  ...  Courcelle, B., The monadic second-order logic of graphs IV: definability properties of equational graphs Crossley, J.N. and Scott, P.J., Completeness proofs for propositional logic with polynomial-time  ...  43 (1989) 161-195 42 (1989) 165-194 41(1989) 93-106  ... 
doi:10.1016/0168-0072(90)90061-6 fatcat:inapyhmvyffpzkhhdq4qje4ahi

Master Index to Volumes 51–60

1993 Annals of Pure and Applied Logic  
Master Index to Volumes 51-60 ABRAHAM, U. and SHELAH, S., A A: well-order of the reals and incompactness of L(Q"") 59 ( GITIK, M., The strength of the failure of the Singular Cardinal Hypothesis 51  ...  arithmetic MAREK, W., NERODE, A. and REMMEL, J., How complicated is the set of stable models of a recursive logic program?  ... 
doi:10.1016/0168-0072(93)90081-n fatcat:izewemprtbcm3gozu2y4c4roia

Notes

1892 Bulletin of the American Mathematical Society  
The object of the exhibition is " to extend the use of the various auxiliaries in the shape of models, apparatus and instruments, which are of advantage for instruction and investigation in pure and applied  ...  Special interest attaches to the meeting this year on account of the organization by the Union of an exhibition of medals, charts, apparatus and instruments used in pure and applied mathematics.  ... 
doi:10.1090/s0002-9904-1892-00084-5 fatcat:zwhckonc6vhtfbvxygvnelrere

Page 1204 of The Athenaeum Vol. , Issue 1204 [page]

1850 The Athenaeum  
A Second Edition, Altered and Enlarged, of An OUTLINE of the NECESSARY LAWS of THOUGHT: a Treatise on Pure and Applied Logic.’ By the Rev.  ...  WILLIAM THOMSON, Fellow and Tutor of Queen’s College, Oxford. Feap. 8vo. 7s. ** A very acute work, and learned."—Professor De Morgan's * Logic.”  ... 

Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism [chapter]

Markus Werning
2003 Foundations of the Formal Sciences II  
It is argued (i) that an algebra of propositions and concepts for objects and properties is isomorphic to an algebra of brain states, neuronal oscillations and sets of oscillations related to clusters  ...  They combine the virtues and avoid the vices of classical and connectionist architectures.  ...  , Annals of Pure and Applied Logic 33 (1987), p. 1-21 [FriSimú 00] Harvey Friedman and Stephen G.  ... 
doi:10.1007/978-94-017-0395-6_19 fatcat:cq3yvlljbfh4jksf7sd4zm2tf4

Abstracts

2005 Historia Mathematica  
Readers are invited to send reprints, autoabstracts, corrections, additions, and notices of publications that have been overlooked.  ...  A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  The indefinability of truth in the "Wahrheitsbegriff," Annals of Pure and Applied Logic 126 (1-3) (2004), 27-37.  ... 
doi:10.1016/j.hm.2005.04.001 fatcat:jpycq5xl2zexnby2h453ddkpp4

Abstracts

1975 Historia Mathematica  
John of Gergonne's 1815 article "Application de la methode des moindre quarrQs B l'interpolation des suites," Annales des Math6matiques Pures et Appliqu&s 6, 242-252.  ...  INTENSIONAL LOGICS. J LUKASIEWICZ. MODAL LOGICS. PHILOSOPHY OF LOGIC. SEMANTICS.  ... 
doi:10.1016/0315-0860(75)90062-2 fatcat:wkfxjegzfrgkjmcbmfodnclfzu

Chapter VII: Recent Developments in Statistical Theory

Palmer O. Johnson
1948 Review of Educational Research  
What the author terms the logical aspects of statistical inference are treated very forcefully in this volume.  ...  Close attention to and appreciation and understanding of the mathematical and logical foundations is necessary for the development of statistics.  ... 
doi:10.3102/00346543018005469 fatcat:nad47pp76rbzbda3knor6lxm3a

Abstracts

Albert C. Lewis
1978 Historia Mathematica  
HANUSKA A & NGMETHY A 1977 Fiftieth birthday of Professor Jozef BRILLA. Mathematics Slovaca 27, 93. In Slovak. APPLIED MATHEMATICS. (L. F. Meyers). #930. ?  ...  RZ 1973 #3Al4 means that the item is numbered 3A14 in the third number of the 1973 volume of the Referativny Zhurnal. Z 50 4 means volume 50, page 4 of the Zentralblatt.  ... 
doi:10.1016/0315-0860(78)90231-8 fatcat:hrwinllotrcxzk7plpj7hqdslm

Improving competition representation in theoretical models of self-thinning: a critical review

JOEL H. REYNOLDS, E. DAVID FORD
2005 Journal of Ecology  
Umeki, K. (1995) Importance of crown position and morpho- logical plasticity in competitive interaction in a population of Xanthium canadense. Annals of Botany, 75, 259-265.  ...  This applies to both the relationship used to translate volume or area occupancy (equation 2) to weight (equation |), and the variation in individual volume or area occupancy that drives competition.  ... 
doi:10.1111/j.1365-2745.2005.00976.x fatcat:7vlnrdnbtbgrbetp6gdcyrfbfq

A bibliography for the development of an Intelligent Mathematical Programming System

Harvey J. Greenberg
1996 Annals of Operations Research  
The purpose of this paper is to provide references in the rapidly growing area of intelligent environments for modeling and analysis, particularly for the development and use of decision support systems  ...  There are, however, interdependent components that pertain to model management, software engineering, learning models, and other elements taken from a variety of disciplines.  ...  Acknowledgements This research was supported by a consortium of companies: Chesapeake Decision Sciences, Hewlett Packard, IBM, Primal Solutions, and Shell Development Company.  ... 
doi:10.1007/bf02187327 fatcat:vle65p556rccpjkjbggka5l2zy

Assessment of the assortment potential of the growing stock – a photogrammetry based approach for an automatized grading of sample trees

Christine Fürst, Gérard Nepveu
2006 Annals of Forest Science  
ECognition is an image analysis system using a polygon-oriented segmentation and a fuzzy logic based classification.  ...  A total of eight Norway spruces (Picea abies, Karst.) and eight Scots pines (Pinus sylvestris L.) was selected as sample material for the development of the classification process in eCognition.  ...  of conversion effects in pure coniferous stands in the test regions "Middle and Eastern Ore Mountains" and "Lowlands" [8] .  ... 
doi:10.1051/forest:2006078 fatcat:chz76py2djf3zc75furmbnza2q

Yuri, Logic, and Computer Science [chapter]

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
2010 Lecture Notes in Computer Science  
Annals of Pure and Applied Logic 78 (1996), 111-125 Kleine-Büning (ed.)  ...  Annals of Pure and Applied Logic 32 (1986), 265-280 We prove that the three extensions of first-order logic by means of positive, monotone and inflationary inductions have the same expressive power in  ... 
doi:10.1007/978-3-642-15025-8_1 fatcat:ehjpkiqxzbh55k7waxqwzfhw6y
« Previous Showing results 1 — 15 out of 6,437 results