Total Books: 1 - 2 /2
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suite
Propositional and Predicate Calculus: A Model of Argument
The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation ...
Lire la suite
Total Books: 1 - 2 /2
