Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedingshttps://catalogue-scientifique.canada.ca/record=1534636~S6*frcRechercher Kapur, DeepakSpringer-Verlag, 1992, ISBN : 9780387556024Livre
Towards a theory for abstract data types (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Towards a theory for abstract data typeshttps://catalogue-scientifique.canada.ca/record=1273790~S6*frcRechercher Kapur, DeepakMassachusetts Institute of Technology, 1980Livre
Derived pairs, overlap closures, and rewrite dominoes : new tools for analyzing term rewriting systems (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Derived pairs, overlap closures, and rewrite dominoes : new tools for analyzing term rewriting systemshttps://catalogue-scientifique.canada.ca/record=1274217~S6*frcRechercher Guttag, John V; Rechercher Kapur, Deepak; Rechercher Musser, David R; Rechercher Guttag, J. VMassachusetts Institute of Technology, Laboratory for Computer Science, 1981Livre
Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : proceedingshttps://catalogue-scientifique.canada.ca/record=2301637~S6*frcRechercher Kapur, DeepakSpringer, 2008Actes de conférence
Special volume on geometric reasoning : contents selected from a Workshop on Geometric Reasoning, Keble College, Oxford University, June 30-July 3, 1986 (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Special volume on geometric reasoning : contents selected from a Workshop on Geometric Reasoning, Keble College, Oxford University, June 30-July 3, 1986https://catalogue-scientifique.canada.ca/record=1421435~S6*frcRechercher Kapur, Deepak; Rechercher Mundy, J. LNorth-Holland, 1988Actes de conférence
Symbolic and numerical computation for artificial intelligence (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Symbolic and numerical computation for artificial intelligencehttps://catalogue-scientifique.canada.ca/record=1541649~S6*frcRechercher Donald, Bruce R; Rechercher Kapur, Deepak; Rechercher Mundy, Joseph LAcademic Press, 1992Actes de conférence