Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
See Baker & Taylor
Language computations: DIMACS Workshop on Human Language, March 20-22, 1992/ Eric Sven Ristad, editor. by
  • Ristad, Eric Sven
  • DIMACS Workshop on Human Language (1992 : Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 17.
Publication details: Providence, R.I.: American Mathematical Society, c1994
Availability: Items available for loan: Castorina (1)Call number: 005.133 L287 1994 IMPA.

Place hold Add to cart
2.
See Baker & Taylor
Advances in computational complexity theory/ Jin-yi Cai, editor. by
  • Cai, Jin-yi, 1961-
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 13
Publication details: Providence, R.I.: American Mathematical Society, c1993
Availability: Items available for loan: Castorina (1)Call number: 511.3 A244 1993 IMPA.

Place hold Add to cart
3.
See Baker & Taylor
Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 1996/ Paul W. Beame, Samuel R. Buss, editors. by
  • Beame, Paul W, 1959-
  • Buss, Samuel R
  • DIMACS (Group)
  • NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
  • DIMACS Workshop on Feasible Arithmetics and Length of Proofs (1996: Rutgers University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 39
Publication details: Providence, R.I.: American Mathematical Society, c1998
Availability: Items available for loan: Castorina (1)Call number: 511.3 P965 1998 IMPA.

Place hold Add to cart
4.
See Baker & Taylor
Descriptive complexity and finite models: proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University/ Neil Immerman, Phokion G. Kolaitis, editor. by
  • Immerman, Neil, 1953-
  • Kolaitis, Phokion
  • DIMACS Workshop on Descriptive Complexity and Finite Models (1996: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 31
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 511.3 D449 1997 IMPA.

Place hold Add to cart
Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha