"J. van Benthem" appeared in Books and Chapters

entries per page

Filter:

Showing 1 to 5 of 5 entries

Book	Author(s)	Year	Publisher
Twee eeuwen tafelzilver: de Amsterdamse zilversmeden Helweg, 1753-1965	Barend J. van Benthem	1993	Waanders
A manual of intentional logic	J. F. A. K. van Benthem	1985	Center for the Study of Language and Information
Semantics and Contextual Expression	R. Bartsch; J. van Benthem; P. van Emde Boas	1989	De Gruyter Mouton
Foundations of the formal sciences V: Infinite games	Bold Stefan., Loewe B., Rasch T., van Benthem J. (eds.)	2007	College Publications
Generalized quantifiers in natural language	J. F. A. K. van Benthem; Alice G. B. ter Meulen	1985	Foris Publications
Boook	Author(s)	Year	Publisher

Showing 1 to 5 of 5 entries

entries per page

Filter:

Showing 1 to 20 of 25 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
The Landscape of Deduction	J. van Benthem.	Substructural logics /	Schroeder-Heister, Peter Joseph,; Došen, Kosta.	1993.	Oxford University Press,
Remodeling Temporal Geometry	J. van Benthem	Proceedings: Third International Workshop on Temporal Representation and Reasoning (TIME '96): May 19-20, 1996, Key West, Florida /	Chittaro, Luca.	[1996], ©1996.	IEEE Computer Society Press,
Investigations of Elastic Properties of Laser Welded Dental Alloys	H. van Benthem; J. Vahl	Optoelectronics in Medicine: Proceedings of the 5th International Congress Laser 81	W. Waidelich	1982	Springer Berlin Heidelberg
Laserschweißen in der Zahntechnik — Vorteile Gegenüber Konventionellen Methoden	H. van Benthem; J. Vahl	Laser/Optoelektronik in der Medizin / Laser/Optoelectronics in Medicine: Vorträge des 9. Internationalen Kongresses / Proceedings of the 9th International Congress	Wilhelm Waidelich; Raphaela Waidelich	1990	Springer Berlin Heidelberg
Primitive Notions	J. F. A. K. Van Benthem	The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
Points	J. F. A. K. Van Benthem	The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
Periods	J. F. A. K. Van Benthem	The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
Points and Periods	J. F. A. K. Van Benthem	The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
Events	J. F. A. K. Van Benthem	The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
Choice of Languages	J. F. A. K. Van Benthem	The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
Instant Tense Logic	J. F. A. K. Van Benthem	The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
Extended Tense Logic	J. F. A. K. Van Benthem	The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
Point Talk and Period Talk	J. F. A. K. Van Benthem	The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
Tense Logic, Second-Order Logic and Natural Language	J. F. A. K. Van Benthem	Aspects of Philosophical Logic: Some Logical Forays into Central Notions of Linguistics and Philosophy	Uwe Mönnich	1981	Springer Netherlands
Electron Microscopy at Very High Resolution	Klaus van Benthem; Stephen J. Pennycook	Dekker Encyclopedia of Nanoscience and Nanotechnology, Third Edition	Sergey Edward Lyshevski	2013	Routledge
Checking algorithms for Pure Type Systems	L. S. van Benthem Jutting; J. McKinna; R. Pollack	Types for Proofs and Programs: International Workshop TYPES ' 93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers	Henk Barendregt; Tobias Nipkow	1994	Springer Berlin Heidelberg
Seasonal Variations in HIOMT Activity During the Night in the Pineal Gland of Wistar Rats of Several Ages	M.G.M. Balemans; F.A.M. Bary; J. van Benthem; W.C. Legerstee	Melatonin: Current Status and Perspectives	N. Birau and W. Schloot	1981	Pergamon
Tomographic imaging of nanocrystals by aberration-corrected scanning transmission electron microscopy	Klaus van Benthem, Yiping Peng and Stephen J. Pennycook	Electron microscopy of molecular and atom-scale mechanical behavior, chemistry and structure: symposium held November 29-December 1, 2004, Boston, Massachusetts, U. S. A. /	Martin, David C.	[2005], ©2005.	Materials Research Society,
Mangrove Rehabilitation in the Coastal Mekong Delta, Vietnam	W. Benthem; L. P. van Lavieren; W. J. M. Verheugt	An International Perspective on Wetland Rehabilitation	W.J. Streever	1999	Springer Netherlands
Atomic and electronic structure investigations of HfO[subscript 2]SiO[subscript 2]/Si gate stacks using aberration-corrected STEM	K. van Benthem, S. N. Rashkeev and S. J. Pennycook	Characterization and metrology for ULSI technology /	Seiler, David G.	2005.	American Institute of Physics,
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 25 entries