Phillip J. Windley books & textbook
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science, 971)
Schubert, E. Thomas Windley, Phillip J. Alves-Foss, James
Springer /1995-08-23 Paperback / 416 Pages
isbn-10: 3540602755 / isbn-13: 9783540602750
The Live Web: Building Event-Based Connections in the Cloud
Cengage Learning PTR /2011-12-22 Paperback / 416 Pages
isbn-10: 1133686680 / isbn-13: 9781133686682
