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
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
Piton : a mechanically verified assembly-level language (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Piton : a mechanically verified assembly-level languagehttps://catalogue-scientifique.canada.ca/record=1623499~S6*frcRechercher Moore, J. StrotherKluwer Academic Publishers, 1996, ISBN : 0792339207Livre
Computer-aided reasoning : ACL2 case studies (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Computer-aided reasoning : ACL2 case studieshttps://catalogue-scientifique.canada.ca/record=1966267~S6*frcRechercher Kaufmann, Matt; Rechercher Manolios, Panagiotis; Rechercher Moore, J StrotherKluwer Academic Publishers, 2000, ISBN : 9780792378495Livre
Computer-aided reasoning : an approach (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Computer-aided reasoning : an approachhttps://catalogue-scientifique.canada.ca/record=1966268~S6*frcRechercher Kaufmann, Matt; Rechercher Manolios, Panagiotis; Rechercher Moore, J StrotherKluwer Academic Publishers, 2000, ISBN : 9780792377443Livre
A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocolhttps://catalogue-scientifique.canada.ca/record=1535780~S6*frcRechercher Moore, J. StrotherNASA, Scientific and Technical Information Program, 1992Publication gouvernementale