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=1370183~S6*frcRechercher Chang, Chin-Liang; Rechercher Lee, Richard Char-TungAcademic Press, 1987, ISBN : 9780121703509Livre
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