Publication

Language

Publisher

Subjects

Publication date

2Result(s)for '" Coquand T."'
Sort
Total 2 item(s)

Resource list

By Coquand T.   in Theoretical Computer Science

ISSN:0304-3975|290|1|1107-1113

Elsevier‎(2003)‎

Access to resources Favorite 15.893412

 

By Coquand T.   Zhang G.-Q.   in Theoretical Computer Science

ISSN:0304-3975|305|1|77-84

Elsevier‎(2003)‎

Access to resources Favorite 11.485495

 

Total 2 item(s)