Saturday, May 25, 2013

Logic for Computer Science: Foundations of Automatic Theorem Proving -by Jean Gallier Wiley, pp. 511 (1986).

Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)