Search w/in this Reviewer for Reviewers All Reviews
	Prathamesh, T. V. H. University of Innsbruck Innsbruck, Austria         Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 review       Fundamental proof methods in computer science: a computer-based approach Arkoudas K., Musser D., MIT Press, Cambridge, MA, 2017.  Type: Book (9780262035538) An introduction to proof methods in computer science (CS), this book is set apart from other by its reliance on an interactive theorem prover (called Athena) to achieve the task.... Sep 21 2017
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy