1.  Congrès Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993 / David S. Johnson, Michael A. TrickType de document: Congrès.Collection: DIMACS series in discrete mathematics and theoretical computer science ; 26Éditeur: Providence : American Mathematical Society, 1996 Disponibilité: Pour le prêt: CMI[68-06 JOH] (1). Actions: Add to Cart
2.  Congrès Geometric and computational perspectives on infinite groups : proceedings of a joint DIMACS/Geometry Center workshop, January 3-14 and March 17-20, 1994 / Gilbert Baumslag, David Epstein, Robert Gilman... [et al.]Type de document: Congrès.Collection: DIMACS series in discrete mathematics and theoretical computer science ; 25Éditeur: Providence : American Mathematical Society, 1996 Disponibilité: Pour le prêt: CMI[20-06 BAU] (2). Actions: Add to Cart
3.  Congrès Satisfiability problem : theory and applications / Dingzhu Du, Jun Gu, Panos M. PardalosType de document: Congrès.Collection: DIMACS series in discrete mathematics and theoretical computer science ; 35Éditeur: Providence : American Mathematical Society, 1997 Disponibilité: Pour le prêt: CMI[68-06 DU] (1). Actions: Add to Cart
4.  Congrès Unusual applications of number theory : proceedings of the DIMACS workshop held at Rutgers University, Piscataway, NJ, USA, January 10-14, 2000. / Melvyn B. NathansonType de document: Congrès.Collection: DIMACS series in discrete mathematics and theoretical computer science ; 64Éditeur: Providence : American Mathematical Society, 2004 Disponibilité: Pour le prêt: CMI[11-06 NAT] (1). Actions: Add to Cart
Languages: English | Français | |