Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 2 /2
978-3-540-88387-6
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 ...

Continue reading
978-1-84628-229-4
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 ...

Continue reading
Total Books: 1 - 2 /2