翻訳と辞書 Words near each other ・ autogrp ・ autolisp ・ autoloader ・ automagically ・ automata ・ automata theory ・ automated engineering design ・ automated grouping system ・ automated retroactive minimal moderation ・ automated testing ・ automath ・ automatic baud rate detection ・ automatic hyphenation ・ automatic mathematical translation ・ automatic network routing ・ automatic number identification ・ automatic repeat request ・ automatic send receive ・ automatic sequence controlled calculator ・ automatically programmed tools Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク automath ： FOLDOC AUTOMATH A very high level language for writing proofs, from Eindhoven, Netherlands. ["The Mathematical Language AUTOMATH, Its Usage and Some of its Extensions", N.G. deBruijn, in Symp on Automatic Demonstration, LNM 125, Springer 1970]. (2001-07-09) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.