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

A propos de l'auteur

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.

Détails du produit

• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 01.01.1996
• EAN: 9783540615873
• ISBN: 978-3-540-61587-3
• Pages: 447
• Poids: 603 g
• Thèmes: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique