Virtual Theories (1995)

Cached

Download Links

by Paul Curzon
Venue:In Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications, Lecture Notes in Computer Science
Citations:3 - 2 self

Document Versions

Virtual Theories –Paul Curzon — 1995 — In Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications, Lecture Notes in Computer Science