×

zbMATH — the first resource for mathematics

Found 35 Documents (Results 1–35)

100
MathJax
Simpson, Stephen G. (ed.), Reverse mathematics 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-263-9/hbk; 1-56881-264-7/pbk). Lecture Notes in Logic 21, 120-146 (2005).
MSC:  03F30 03D25 03F35
PDF BibTeX XML Cite
Härdle, Wolfgang (ed.) et al., COMPSTAT. Proceedings in computational statistics. 15th symposium, Berlin, Germany, August 24–28, 2002. Heidelberg: Physica-Verlag. 527-532 (2002).
MSC:  62-08 60L90
PDF BibTeX XML Cite
Full Text: DOI
Prikl. Mekh. Tekh. Fiz. 42, No. 6, 3-18 (2001); translation in J. Appl. Mech. Tech. Phys. 42, No. 6, 929-941 (2001).
MSC:  76X05 76M20
PDF BibTeX XML Cite
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 92-105 (1996).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 259-282 (1995).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Software