Theorem Proving in Higher Order Logics, TPHOLs '96
9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996. Proceedings
(Sprache: Englisch)
Leider schon ausverkauft
Buch
Produktdetails
Produktinformationen zu „Theorem Proving in Higher Order Logics, TPHOLs '96 “
Autoren-Porträt
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.
Bibliographische Angaben
- 1996, VIII, 447 Seiten, Maße: 23,5 cm, Kartoniert (TB), Englisch
- Mitarbeit: Wright, Joakim von; Grundy, Jim; Harrison, John
- Verlag: Springer, Berlin
- ISBN-10: 3540615873
- ISBN-13: 9783540615873
Sprache:
Englisch
Kommentar zu "Theorem Proving in Higher Order Logics, TPHOLs '96"
0 Gebrauchte Artikel zu „Theorem Proving in Higher Order Logics, TPHOLs '96“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theorem Proving in Higher Order Logics, TPHOLs '96".
Kommentar verfassen