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 Idestam-Almquist, Peter
View the document Idestam-Almquist, Peter (Peter Idestam-Almquist) -- Generalization under Implication by using Or-Introduction - 1993
View the document Idestam-Almquist, Peter (Peter Idestam-Almquist) -- Generalization of Clauses Relative to a Theory - 1997