Theorem Proving in Higher Order Logics, TPHOLs '96 - 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996. Proceedings

About the author

John Harrison has had a lifelong interest in wildlife, and birds in particular. In 1973 he was appointed as a radio producer in the BBC Natural History Unit; during the 18 years he was there, he worked with most of the top naturalists and ornithologists in Britain. As a birdwatcher and wildlife enthusiast, he has made many visits to Sri Lanka over a number of years, and has a first-hand knowledge of the Sri Lankan avifauna. He is now the voluntary warden of a 70 ha wetland nature reserve for the Avon Wildlife Trust.

Product details

• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.1996
• EAN: 9783540615873
• ISBN: 978-3-540-61587-3
• No. of pages: 447
• Weight: 603 g
• Series: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT