By Arló-Costa H.   Thomason R.H.   in Journal of Philosophical Logic

ISSN:0022-3611|30|5|479-524

Springer Publishing Company ‎(2001)‎

Access to resources Favorite 13.284998

By Di Eugenio B.   Jordan P.W.   Thomason R.H.   Moore J.D.   in International Journal of Human-Computer Studies

ISSN:1071-5819|53|6|1017-1076

Academic Press‎(2000)‎

Access to resources Favorite 9.370934