Treffer 1 – 4 von 4 für Suche 'Krajíček, Jan 1960-', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Proof complexity

    Proof complexity von Krajíček, Jan 1960-

    Veröffentlicht 2019
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Forcing with random variables and proof complexity

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

    Veröffentlicht 2011
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proof complexity

    Proof complexity von Krajíček, Jan 1960-

    Veröffentlicht 2019
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


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

    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 Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: