Peter Clote
4 published titles
Arithmetic, proof theory, and computational complexity
(Contributor)
1 edition
- ISBN: 0198536909
- Clarendon
- 1993
- Details
Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540678956
- Springer
- 2000
- Details
Computational molecular biology : an introduction
1 edition
- ISBN: 0471872520
- John Wiley
- 2000
- Details
Boolean functions and computation models
1 edition
- ISBN: 3540594361
- Springer
- 2002
- Details
