A computational logic (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : A computational logichttps://catalogue-scientifique.canada.ca/record=1069347~S6*frcRechercher Boyer, Robert S; Rechercher Moore, J. StrotherAcademic Press, 1979, ISBN : 9780121229504Livre
A computational logic handbook (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : A computational logic handbookhttps://catalogue-scientifique.canada.ca/record=1407266~S6*frcRechercher Boyer, Robert S; Rechercher Moore, J. StrotherAcademic Press, 1988, ISBN : 9780121229528Livre
Automated reasoning : essays in honor of Woody Bledsoe (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Automated reasoning : essays in honor of Woody Bledsoehttps://catalogue-scientifique.canada.ca/record=1560227~S6*frcRechercher Bledsoe, W. W; Rechercher Boyer, Robert SKluwer Academic Publishers, 1991, ISBN : 0792314093Livre
Computer proofs of limit theorems (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Computer proofs of limit theoremshttps://catalogue-scientifique.canada.ca/record=1277405~S6*frcRechercher Bledsoe, W. W; Rechercher Boyer, Robert S; Rechercher Henneman, William HMassachusetts Institute of Technology, 1971Publication gouvernementale