Showing 1 - 2 results of 2 for search 'Ferrante Jeanne', זמן שאילתה: 0.02s Refine Results
  1. 1
    A Decision Procedure for the First Order Theory of Real Addition with Order

    A Decision Procedure for the First Order Theory of Real Addition with Order מאת Ferrante, Jeanne, Rackoff, Charles

    יצא לאור 2023
    קבל טקסט מלא
  2. 2
    The computational complexity of logical theories /

    The computational complexity of logical theories / מאת 366280 Ferrante, Jeanne, Rackoff, Charles W.

    יצא לאור 1979

כלי חיפוש: