|
СБ |
Sanskrit Computational Languages: Proc./Third International Symposium. Hyderabad, India, January 2009 |
2009 |
|
Lecture Notes in Artificial Intelligence |
- Kulkarni A.
- Huet G.
|
|
|
24.07.2009 |
|
СБ |
Sanskrit Computational Linguistics: Revised Selected and Invited Papers/ First and Second International Sumposia, Rocquencourt, France, October 2007, Providence, RI, USA, May 2008 |
2009 |
|
Lecture Notes in Artificial Intelligence |
- Huet G.
- Kulkarni A.
- Scharf P.
|
|
|
15.05.2009 |
|
СБ |
Proving and Improving Programs: Proc./Colloques IRIA, Arc et Senans, 1-3 juillet 1975 |
1975 |
|
|
- Huet G.
- Kahn G.
|
I.R.I.A. |
|
13.05.1999 |
