|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Hans ZantemaPublisher: Taylor & Francis Ltd Imprint: Taylor & Francis Ltd Weight: 0.590kg 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: Not yet available This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release. 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 |