Showing 1 - 1 results of 1 for search 'Cook, Stephen 1948-', Forespørselstid: 0.01s Refine Results
  1. 1

    Logical foundations of proof complexity af Cook, Stephen 1948-

    Udgivet 2010
    Bog

    Logical foundations of proof complexity

Søgeredskaber: