𝔖 Bobbio Scriptorium

✦ LIBER ✦

“Handbook of Practical Logic and Automated Reasoning,” by John R. Harrison, Cambridge University Press, 2009

✍ Scribed by Freek Wiedijk

Book ID: 113068280
Publisher: Springer Netherlands
Year: 2012
Tongue: English
Weight: 130 KB
Volume: 49
Category: Article
ISSN: 0168-7433
DOI: 10.1007/s10817-012-9251-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Woolley's Death Dutiesby John H. Munkman

Woolley's Death Dutiesby John H. Munkman;A Practical Epitome of the Death Dutiesby David Harrison; R. A. Grieve

✍ Review by: H. E. Francis 📂 Article 📅 1952 🏛 Cambridge University Press 🌐 English ⚖ 193 KB

The Form of Practical Knowledge, by Step

The Form of Practical Knowledge, by Stephen Engstrom. Cambridge, MA: Harvard University Press, 2009, 260 pp. ISBN 978-0-674-03287-3 hb $49.95

✍ Carla Bagnoli 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 97 KB

Ashgate Handbook of Pesticides and Agric

Ashgate Handbook of Pesticides and Agricultural Chemicals Edited by G. W. A. Milne; Ashgate Publishing: Brookfield, VT, 2000; 224 pages. Mass Spectrometry of Natural Substances in Foods By Fred A. Mellon, Ron Self, and James R. Startin; Royal Society of Chemistry: Cambridge, U.K., 2000; 299 pp. Natural Extracts Using Supercritical Carbon Dioxide By Mamata Mukhopadhyay; CRC Press: Boca Raton, FL, 2000; 360 pp. Food Emulsions; Principles, Practice, and Techniques By David Julian McClements; CRC Press: Boca Raton, FL, 1999; 392 pp. Natural Food Antimicrobial Systems Edited by A. S. Naidu; CRC Press: Boca Raton, FL, 2000; 832 pp. Pesticides in Stream Sediment and Aquatic Biota; Distribution, Trends, and Governing Factors By Lisa H. Nowell, Paul D. Capel, and Peter D. Dileanis; Lewis Publishers: Boca Raton, FL, 1999; 1040 pp. Agrochemical and Pesticide Safety Handbook By Michael F. Waxman; Lewis Publishers: Boca Raton, FL, 1998; 640 pp. Handbook of Industrial Surfactants By Michael Ash and Irene Ash; Synapse Information Resources: Endicott, NY, 2000; 2 volumes, 2500 pp (CD version available). Secondary Plant Products; Antinutritional and Beneficial Actions in Animal Feeding Edited by John C. Caygill and Irene Mueller-Harvey; Nottingham University Press: Nottingham, U.K., 1999; 136 pp.

📂 Article 📅 2000 🏛 American Chemical Society 🌐 English ⚖ 14 KB