Skip to main content

Biblio

Export 1 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: Author is M. Fisher  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
Fisher, M., C. Dixon, and M. Peim, "Clausal Remporal Resolution", ACM Transactions on Computational Logic, vol. 2, no. 1, pp. 12-56, 2001.