Biblio

List
Filter

Export 1 results:

Sort by: [ Author

] Title Type Year

Filters: Author is M. Peim [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.