Language
Publisher
Subjects
Publication date
- All ( )
- Free, open source ( )
1Result(s)for '"Coquand C."'
Resource list
By Coquand C. in LISP and Symbolic Computation
ISSN:1388-3690|15|1|57-90
Springer Publishing Company (2002)
Access to resources Favorite 15.600501