R. E. Davis9780716782018, 0716782014
Truth, deduction, and computation: logic and semantics for computer science
Free Download
Authors: R. E. Davis
Series: Advanced Book Program
ISBN: 9780716782018, 0716782014
Size: 12 MB (12524452 bytes)
Pages: 281/281
File format: pdf
Language: English
Publishing Year: 1989
Direct Download: Coming soon..
Download link:
Category: Mathematics , Computational MathematicsSign in to view hidden content.
Be the first to review “Truth, deduction, and computation: logic and semantics for computer science” Cancel reply
You must be logged in to post a review.
Related products
- Mathematics , Computational Mathematics
Introduction to splines in computer graphics and geometric modeling
Free Download - Mathematics , Computational Mathematics
Introduction to automata theory, languages, and computation
Free Download - Mathematics , Computational Mathematics
Bucketing algorithms for sorting selection and computational geometry
Free Download - Mathematics , Computational Mathematics
Computational molecular dynamics: challenges, methods, ideas Proc. Berlin 1997
Free Download
Reviews
There are no reviews yet.