Showing 1 - 1 results of 1 for search 'Cook, Stephen 1948-', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1

    Logical foundations of proof complexity द्वारा Cook, Stephen 1948-

    प्रकाशित 2010
    पुस्तक

    Logical foundations of proof complexity

खोज साधन: