Symbolic logic and mechanical theorem proving (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Symbolic logic and mechanical theorem provinghttps://catalogue-scientifique.canada.ca/record=1077586~S6*frcRechercher Chang, Chin-Liang; Rechercher Lee, Richard Char-TungAcademic Press, 1973Livre
ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedingshttps://catalogue-scientifique.canada.ca/record=1522184~S6*frcRechercher Hsu, W. L; Rechercher Lee, R. C. TSpringer-Verlag, 1991Actes de conférence