Showing 1 - 1 results of 1 for search 'Cook, Stephen 1948-', זמן שאילתה: 0.01s Refine Results
  1. 1

    Logical foundations of proof complexity מאת Cook, Stephen 1948-

    יצא לאור 2010
    ספר

    Logical foundations of proof complexity

כלי חיפוש: