Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/kapur-d

Deepak Kapur

Bibliography

    Barry, Michele, Cyrluk, David, Kapur, Deepak, Mundy, Joseph and Nguyen, Van-Duc. 1988. “A Multi-Level Geometric Reasoning System for Vision.” Artificial Intelligence 37(1–3): 291–332.
    Kapur, Deepak. 1988. “A Refutational Approach to Geometry Theorem Proving.” Artificial Intelligence 37(1–3): 61–93.
    Kapur, Deepak. 1992. Eleventh International Conference on Automated Deduction CADE92, Sarasota Springs, New York, June 1992. Lecture Notes in Computer Science. Berlin: Springer.
    Kapur, Deepak and Mundy, Joseph. 1988a. “Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume.” Artificial Intelligence 37(1–3): 1–11.
    Kapur, Deepak and Mundy, Joseph. 1988b. “Wu’s Method and Its Application to Perspective Viewing.” Artificial Intelligence 37(1–3): 15–36.
    Kapur, Deepak and Musser, David R. 1987. “Proof by Consistency.” Artificial Intelligence 31(2): 125–157.