Dental Pathology : A Practical Introduction

The Political Economy of Fiscal Policy : Public Deficits, Volatility, and Growth

Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings

Transport in Plants III : Intracellular Interactions and Transport Processes

Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung : Volume 74

Experimental Myopathies and Muscular Dystrophy : Studies in the Formal Pathogenesis of the Myopathy of 2,4-Dichlorophenoxyacetate

Internment in Concentration Camps and Its Consequences

Land Use in Advancing Agriculture

Muscle Receptors

The Early Life History of Fish : The Proceedings of an International Symposium Held at the Dunstaffnage Marine Research Laboratory of the Scottish Marine Biological Association at Oban, Scotland, from

Auditory System : Anatomy Physiology (Ear)

Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung

Approximation of Functions of Several Variables and Imbedding Theorems

The Measurement of Verbal Information in Psychology and Education

Valuation Theory

Satellite Beacons Observations from 1964 to 1970

Air Instrument Surgery : Vol. 2: Orthopedics

Central Processing of Visual Information A: Integrative Functions and Comparative Data

Pathophysiology of Muscle Tone

Physiology of Photoreceptor Organs

Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Higher Order Logic Theorem Proving and its Applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgiu

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Electronic Government : 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings

Computing and Combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings

Algorithmic Applications in Management : First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings