Skip to contents

  4. Buss, Samuel R. [Editor]; Hájek, Petr [Other]; Pudlák, Pavel [Other] ; Association for Symbolic Logic, Logic Colloquium 1998 Prag, Logic Colloquium 1998 Prag

    Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Natick, Mass.: Association for Symbolic Logic, 2000

    Published in: Lecture notes in logic ; 13

  7. Beame, Paul W. [Contributor]; Buss, Samuel R [Contributor] ; DIMACS (Group), NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

    Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Providence, R.I.: American Mathematical Society, 1998

    Published in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 39

  9. Rothenberger, Ralf [Author] ; Coja-Oghlan, Amin [Degree supervisor]; Buss, Samuel R. [Degree supervisor]; Friedrich, Tobias [Degree supervisor] Universität Potsdam

    Satisfiability thresholds for non-uniform random k-SAT

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Potsdam, [2022?]

  10. Buss, Antony D. [Other]; Butler, Mark S. [Other]; Neidle, Stephen [Other]; Campbell, Simon [Other]; Clore, Marius [Other]; Hubbard, R. E. [Other]; Lilley, David M.J [Other]; Newman, David J. [Other]; Singh, Sheo [Other]; Potts, Barbara [Other]; Palladino, Michael A. [Other]; Lam, Raymond L. [Other]; Lloyd, Ken [Other]; Chackalamannil, Samuel [Other]

    Natural product chemistry for drug discovery

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cambridge: Royal Society of Chemistry, 2009

    Published in: RSC Biomolecular sciences ; v. 19