Suchergebnisse - Krajíček, Jan 1960-

  • Treffer 1 – 4 von 4
Treffer filtern
  1. 1
    Buchumschlag

    Proof complexity
    von Krajíček, Jan 1960-

    Veröffentlicht 2019
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Forcing with random variables and proof complexity
    von Krajíček, Jan 1960-

    Veröffentlicht 2011
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Proof complexity
    von Krajíček, Jan 1960-

    Veröffentlicht 2019
    Inhaltsverzeichnis
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Krajíček, Jan 1960- …”
    Online lesen (BSB)

    Benutzerausweis der Bayerischen Staatsbibliothek (BSB) nötig.

    Per Fernleihe bestellen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: