-
1Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings / Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Wright, Joakim von. editor., Grundy, Jim. editor., Harrison, John. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
2Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings / Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings /by Goos, Gerhard. editor., Hartmanis, Juris. editor., Leeuwen, Jan van. editor., Wright, Joakim von. editor., Grundy, Jim. editor., Harrison, John. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS