By Barrett Clark   in Journal of Automated Reasoning

ISSN:0168-7433|51|4|453-456

Springer Publishing Company ‎(2013)‎

Access to resources Favorite 15.614369

By Barrett Clark C.   in Ethical Human Psychology and Psychiatry

ISSN:1938-9000|13|2|95-114

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 12.491495

By Barrett Clark C.   in Ethical Human Psychology and Psychiatry

ISSN:1938-9000|14|3|199-201

Springer Publishing Company ‎(2012)‎

Access to resources Favorite 12.491495

By Barrett Clark   Moura Leonardo   Stump Aaron   in Journal of Automated Reasoning

ISSN:0168-7433|35|4|373-390

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 9.368622

By Zuck Lenore   Pnueli Amir   Goldberg Benjamin   Barrett Clark   Fang Yi   Hu Ying   in Formal Methods in System Design

ISSN:0925-9856|27|3|335-360

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 6.2457476