Author: Chin-Liang Chang
Edition: 1
Binding: Hardcover
ISBN: 0121703509
Publisher: Academic Press
Edition: 1
Binding: Hardcover
ISBN: 0121703509
Publisher: Academic Press
Symbolic logic and mechanical theorem proving
Symbolic Logic and Mechanical Theorem Proving
author chin liang chang author richard char tung lee format hardback language english publication year 15 06 1973 series computer science and applied mathematics subject mathematics sciences subject 2 mathematics title symbolic logic and mechanical theorem proving computer science classics author chin liang chang richard char tung lee publisher academic pr publication date jun 15 1973 pages 331 binding hardcover dimensions 6 50 wx 9 50 hx 0 75 d isbn 0121703509 subject mathematics general desc
Download free Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) from rapidshare, mediafire, 4shared
Search and find a lot of computer books in many category availabe for free download
