SearchTitlesCreatorsDatesPhrases

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
close this section of the library Pfenning, Frank
View the document Pfenning, Frank (Scott Dietzen and Frank Pfenning) -- Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization - 1992