From logic design to logic programming : theorem proving techniques and P-functions (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : From logic design to logic programming : theorem proving techniques and P-functionshttps://catalogue-scientifique.canada.ca/record=1382153~S6*frcRechercher Snyers, D; Rechercher Thayse, André; Rechercher Thayse, ASpringer-Verlag, 1987, ISBN : 3540182179Livre