検索結果 2 件
紙図書
全国の図書館
紙図書
全国の図書館
- 関連情報... : 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...
検索結果は以上です。