|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Hans ZantemaPublisher: Taylor & Francis Ltd Imprint: Taylor & Francis Ltd Weight: 0.453kg ISBN: 9781032738000ISBN 10: 1032738006 Pages: 226 Publication Date: 22 April 2024 Audience: General/trade , College/higher education , Professional and scholarly , General , Tertiary & Higher Education Format: Hardback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsReviewsAuthor InformationHans Zantema was born in 1956 in The Netherlands. He studied mathematics and received his PhD in pure mathematics in 1983. After a few years in industry he returned to university, in computer science. Apart from his position as an associate professor in computer science at Eindhoven University of Technology, from 2007 until his retirement in 2022 he was part time full professor at Radboud University in Nijmegen. His professional interest is mainly in mathematical reasoning, in particular applied to computation and automated reasoning. His hobbies include solving and designing logical puzzles. Tab Content 6Author Website:Countries AvailableAll regions |