A deductive approach to program synthesis (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : A deductive approach to program synthesishttps://catalogue-scientifique.canada.ca/record=1288392~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JSRI International, 1978Livre
The logic of computer programming (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The logic of computer programminghttps://catalogue-scientifique.canada.ca/record=1288281~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JSRI International, 1977Livre
Is "sometime" sometimes better than "always"? : intermittent assertions in proving program correctness (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Is "sometime" sometimes better than "always"? : intermittent assertions in proving program correctnesshttps://catalogue-scientifique.canada.ca/record=1288088~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JSRI International, 1976Livre
Is "sometime" sometimes better than "always"? (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Is "sometime" sometimes better than "always"?https://catalogue-scientifique.canada.ca/record=1266158~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JStanford University, 1976Livre
Knowledge and reasoning in program synthesis (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Knowledge and reasoning in program synthesishttps://catalogue-scientifique.canada.ca/record=1287967~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JSRI International, 1974Livre
On program synthesis and program verification (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : On program synthesis and program verificationhttps://catalogue-scientifique.canada.ca/record=1287758~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JStanford University, 1970Livre
Towards automatic program synthesis (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Towards automatic program synthesishttps://catalogue-scientifique.canada.ca/record=1265180~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JStandford University, 1970Livre
Towards automatic program synthesis (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Towards automatic program synthesishttps://catalogue-scientifique.canada.ca/record=1287645~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JStanford University, 1970Livre
The QA4 language applied to robot planning (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The QA4 language applied to robot planninghttps://catalogue-scientifique.canada.ca/record=1287814~S6*frcRechercher Derksen, Jan; Rechercher Rulifson, Johns F; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JArtificial Intelligence Center, 1972Livre
QA4 : a procedural calculus for intuitive reasoning (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : QA4 : a procedural calculus for intuitive reasoninghttps://catalogue-scientifique.canada.ca/record=1291373~S6*frcRechercher Rulifson, Johns F; Rechercher Derksen, Jan A; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JSRI International, 1972Livre