Treffer 1 – 20 von 20 für Suche 'Krajíček, Jan', Suchdauer: 0,10s 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

    Veröffentlicht 2019
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Forcing with Random Variables and Proof Complexity.

    Forcing with Random Variables and Proof Complexity. von Krajícek, Jan

    Veröffentlicht 2010
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Bounded arithmetic, propositional logic, and complexity theory /

    Bounded arithmetic, propositional logic, and complexity theory / von Krajíček, Jan

    Veröffentlicht 1995
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    European financial systems 2016 : proceedings of the 13th International Scientific Conference : June 27-28, 2016 : Brno, Czech Republic /

    European financial systems 2016 : proceedings of the 13th International Scientific Conference : June 27-28, 2016 : Brno, Czech Republic /

    Veröffentlicht 2016
    Weitere Verfasser: “… Krajíček, Jan …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    European financial systems 2016 : proceedings of the 13th International Scientific Conference : June 27-28, 2016 : Brno, Czech Republic /

    European financial systems 2016 : proceedings of the 13th International Scientific Conference : June 27-28, 2016 : Brno, Czech Republic /

    Veröffentlicht 2016
    Weitere Verfasser: “… Krajíček, Jan …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    European financial systems 2015 : Proceedings of the 12th International Scientific Conference, June 18-19, 2015, Brno, Czech Republic /

    European financial systems 2015 : Proceedings of the 12th International Scientific Conference, June 18-19, 2015, Brno, Czech Republic /

    Veröffentlicht 2015
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    European financial systems 2014 : proceedings of the 11th International Scientific Conference : June 12-13, 2014 : Lednice, Czech Republic /

    European financial systems 2014 : proceedings of the 11th International Scientific Conference : June 12-13, 2014 : Lednice, Czech Republic /

    Veröffentlicht 2014
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    European financial systems 2014 : proceedings of the 11th International Scientific Conference : June 12-13, 2014 : Lednice, Czech Republic /

    European financial systems 2014 : proceedings of the 11th International Scientific Conference : June 12-13, 2014 : Lednice, Czech Republic /

    Veröffentlicht 2014
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    European financial systems 2013 : proceedings of the 10th International Scientific Conference : 10-11 June 2013 : Telč, Czech Republic /

    European financial systems 2013 : proceedings of the 10th International Scientific Conference : 10-11 June 2013 : Telč, Czech Republic /

    Veröffentlicht 2013
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


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

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

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


    Gespeichert in:
  11. 11
    Bounded arithmetic, propositional logic, and complexity theory

    Bounded arithmetic, propositional logic, and complexity theory von Krajíček, Jan

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


    Gespeichert in:
  12. 12
    Proof complexity

    Proof complexity von Krajíček, Jan 1960-

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


    Gespeichert in:
  13. 13
    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:
  14. 14
    Bounded arithmetic, propositional logic, and complexity theory

    Bounded arithmetic, propositional logic, and complexity theory von Krajíček, Jan

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


    Gespeichert in:
  15. 15
    Proof complexity

    Proof complexity von Krajíček, Jan 1960-

    Veröffentlicht 2019
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Bounded arithmetic, propositional logic, and complexity theory

    Bounded arithmetic, propositional logic, and complexity theory von Krajiček, Jan

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    European financial systems 2016 proceedings of the 13th International Scientific Conference : June 27-28, 2016 : Brno, Czech Republic

    European financial systems 2016 proceedings of the 13th International Scientific Conference : June 27-28, 2016 : Brno, Czech Republic

    Veröffentlicht 2016
    Weitere Verfasser: “… Krajíček, Jan …”
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  18. 18
    European financial systems 2014 proceedings of the 11th International Scientific Conference : June 12-13, 2014 : Lednice, Czech Republic

    European financial systems 2014 proceedings of the 11th International Scientific Conference : June 12-13, 2014 : Lednice, Czech Republic

    Veröffentlicht 2014
    Weitere Verfasser:
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  19. 19
    European financial systems 2013 proceedings of the 10th International Scientific Conference : 10-11 June 2013 : Telč, Czech Republic

    European financial systems 2013 proceedings of the 10th International Scientific Conference : 10-11 June 2013 : Telč, Czech Republic

    Veröffentlicht 2013
    Weitere Verfasser:
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  20. 20
    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: