Achieving several goals simultaneously (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Achieving several goals simultaneouslyhttps://catalogue-scientifique.canada.ca/record=1287993~S6*frcRechercher Waldinger, Richard; Rechercher Waldinger, Richard JSRI International, 1975Livre
Robot and state variable (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Robot and state variablehttps://catalogue-scientifique.canada.ca/record=1287622~S6*frcRechercher Waldinger, Richard; Rechercher Waldinger, Richard JStanford Research Institute, 1970Livre
The deductive foundations of computer programming (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The deductive foundations of computer programminghttps://catalogue-scientifique.canada.ca/record=1557328~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JAddison-Wesley Pub, 1993, ISBN : 9780201548860Livre
Fundamentals of deductive program synthesis (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Fundamentals of deductive program synthesishttps://catalogue-scientifique.canada.ca/record=1527861~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JDept. of Computer Science, Stanford University, 1992Livre
How to clear a block : a theory of plans (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : How to clear a block : a theory of planshttps://catalogue-scientifique.canada.ca/record=1380595~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JDept. of Computer Science, Stanford University, 1986Livre
Special relations in program-synthetic deduction (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Special relations in program-synthetic deductionhttps://catalogue-scientifique.canada.ca/record=1288866~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JSRI International, 1982Livre
Special relations in program-synthetic deduction (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Special relations in program-synthetic deductionhttps://catalogue-scientifique.canada.ca/record=1266403~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JStanford University, 1982Livre
Deductive synthesis of the unification algorithm (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Deductive synthesis of the unification algorithmhttps://catalogue-scientifique.canada.ca/record=1288830~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JSRI International, 1981Livre
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
Structured programming with recursion (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Structured programming with recursionhttps://catalogue-scientifique.canada.ca/record=1266529~S6*frcRechercher Manna, Zohar; Rechercher Waldinger, Richard; Rechercher Waldinger, Richard JStanford University, 1978Livre