Zum Inhalt springen

  4. Buss, Samuel R. [HerausgeberIn]; Hájek, Petr [Sonstige Person, Familie und Körperschaft]; Pudlák, Pavel [Sonstige Person, Familie und Körperschaft] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Natick, Mass.: Association for Symbolic Logic, 2000

    Erschienen in: Lecture notes in logic ; 13

  5. Buss, Samuel R. [Sonstige Person, Familie und Körperschaft] ; ScienceDirect (Online service)

    Handbook of proof theory

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York: Elsevier, 1998 ; Online-Ausg.]

    Erschienen in: Studies in logic and the foundations of mathematics ; v. 137

  6. Buss, Samuel R. [VerfasserIn] ; Scott, Philip J. [Sonstige Person, Familie und Körperschaft]

    Feasible Mathematics : A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston, MA: Birkhäuser Boston, 1990

    Erschienen in: Progress in Computer Science and Applied Logic ; 9

  7. Beame, Paul W. [MitwirkendeR]; Buss, Samuel R [MitwirkendeR] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

  8. Rothenberger, Ralf [VerfasserIn] ; Friedrich, Tobias [AkademischeR BetreuerIn]; Coja-Oghlan, Amin [Sonstige Person, Familie und Körperschaft]; Buss, Samuel R. [Sonstige Person, Familie und Körperschaft]

    Satisfiability thresholds for non-uniform random k-SAT

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Potsdam: Universität Potsdam, 2022

  9. Rothenberger, Ralf [VerfasserIn] ; Coja-Oghlan, Amin [AkademischeR BetreuerIn]; Buss, Samuel R. [AkademischeR BetreuerIn]; Friedrich, Tobias [AkademischeR BetreuerIn] Universität Potsdam

    Satisfiability thresholds for non-uniform random k-SAT

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Potsdam, [2022?]

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

    Natural product chemistry for drug discovery

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge: Royal Society of Chemistry, 2009

    Erschienen in: RSC Biomolecular sciences ; v. 19