Search results for: Krajíček, Jan

Showing 1 - 12 results of 12 Refine Results
  1. 1

    Bounded arithmetic, propositional logic, and complexity theory

    Authors: Krajíček, Jan
    Published: Cambridge University Press, 1995
    Physical Description: xiv, 343 pages ; 24 cm.
    Book
  2. 2

    Forcing with random variables and proof complexity

    Authors: Krajíček, Jan
    Published: Cambridge University Press, 2011
    Physical Description: xvi, 247 pages.
    Book
  3. 3

    Forcing with random variables and proof complexity

    Authors: Krajíček, Jan
    Published: Cambridge University Press, 2011
    Physical Description: 1 online resource (xvi, 247 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  4. 4

    Bounded arithmetic, propositional logic, and complexity theory

    Authors: Krajíček, Jan
    Published: Cambridge University Press, 1995
    Physical Description: 1 online resource (xiv, 343 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  5. 5

    Forcing with random variables and proof complexity

    Authors: Krajíček, Jan
    Published: Cambridge University Press, 2011
    EBSCO eBooks: 2011 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2011 (EBSCO)
    Electronic eBook
  6. 6

    European Financial Systems 2016

    Authors: Krajíček, Jan
    Published: Masarykova univerzita 2016
    eBook Business Collection (EBSCOhost) - North America: 2016 (EBSCO)
    ProQuest Ebook Central - Academic Complete: 2016 (Ebook Central @ Proquest)
    EBSCO eBooks: 2016 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2016 (EBSCO)
    Electronic eBook
  7. 7

    Proof complexity

    Authors: Krajíček, Jan
    Published: Cambridge University Press, 2019
    EBSCO eBooks: 2019 (EBSCO)
    Electronic eBook
  8. 8

    Bounded arithmetic, propositional logic, and complexity theory

    Authors: Krajíček, Jan
    Published: Cambridge University Press, 1995
    EBSCO eBooks: 1995 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 1995 (EBSCO)
    Electronic eBook
  9. 9

    European Financial Systems 2015: Proceedings of the 12th International Scientific Conference

    Authors: Kajurová, Veronika
    Published: Masarykova univerzita 2015
    Other Authors: “…Krajíček, Jan…”
    eBook Business Collection (EBSCOhost) - North America: 2015 (EBSCO)
    ProQuest Ebook Central - Academic Complete: 2015 (Ebook Central @ Proquest)
    EBSCO eBooks: 2015 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2015 (EBSCO)
    Electronic eBook
  10. 10

    Arithmetic, proof theory, and computational complexity

    Published: Clarendon Press ; Oxford University Press, 1993
    Other Authors:
    Physical Description: xii, 428 pages, 1 unnumbered page of plates : illustrations ; 25 cm.
    Book
  11. 11

    European Financial Systems 2013: Proceedings of the 10th International Scientific Conference. 10-11 June 2013, Telč, Czech Republic

    Authors: Deev, Oleg
    Published: Masarykova univerzita 2013
    Other Authors:
    eBook Business Collection (EBSCOhost) - North America: 2013 (EBSCO)
    ProQuest Ebook Central - Academic Complete: 2013 (Ebook Central @ Proquest)
    EBSCO eBooks: 2013 (EBSCO)
    Electronic eBook
  12. 12

    European Financial Systems 2014: Proceedings of the 11th International Scientific Conference

    Authors: Deev, Oleg
    Published: Masarykova univerzita 2014
    Other Authors:
    eBook Business Collection (EBSCOhost) - North America: 2014 (EBSCO)
    ProQuest Ebook Central - Academic Complete: 2014 (Ebook Central @ Proquest)
    EBSCO eBooks: 2014 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2014 (EBSCO)
    Electronic eBook