प्रस्तावित विषय : खोज निहित
Showing 1 - 5 results of 5 for search '', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1
    Recursive analysis.
    पुस्तक
    द्वारा Goodstein, R. L. (Reuben Louis)
    प्रकाशित 1961
    सूची में सहेजें
    में बचाया:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    सम्मेलन की कार्यवाही पुस्तक
    प्रकाशित 1980
    सूची में सहेजें
    में बचाया:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    सम्मेलन की कार्यवाही पुस्तक
    प्रकाशित 1978
    सूची में सहेजें
    में बचाया:
  4. 4
    First-order dynamic logic /
    पुस्तक
    द्वारा Harel, David, 1950-
    प्रकाशित 1979
    सूची में सहेजें
    में बचाया:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    सम्मेलन की कार्यवाही पुस्तक
    प्रकाशित 1977
    सूची में सहेजें
    में बचाया:
खोज साधन : RSS फ़ीड प्राप्त करें – इस खोज को ईमेल करें – खोज संग्रहित करें