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