Search results 2
Paper図書
Other Libraries in Japan
Paper図書
Other Libraries in Japan
- Toc / Article... : proceedings Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings Types for proofs and programs...
- Related Material... : proceedings Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings Types for proofs and programs...
Reached to the end of result.