Categories: E-Books & Audio Books
Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science (90))
253 pages | English | ISBN-10: 3540102310 | ISBN-13: 978-3540102311
TO MAC USERS: If RAR password doesn't work, use this archive program:
RAR Expander 0.8.5 Beta 4 and extract password protected files without error.
TO WIN USERS: If RAR password doesn't work, use this archive program:
Latest Winrar and extract password protected files without error.
Coktum |
Related Posts