Showing 1 - 3 of 3 Results
1.
Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Gr... by Schubert, E. T., Windley, P... ISBN: 9783540602750 List Price: $89.95
2.
Higher Order Logic Theorem Proving and Its Applications by Schubert, E. Thomas, Windle... ISBN: 9783662176207 List Price: $24.99
3.
Cyber Security : Second International Symposium, CSS 2015, Coeur d'Alene, ID, USA, April 7-8... by Haltinner, Kristin, Sarathc... ISBN: 9783319283128 List Price: $72.00