翻訳と辞書 Words near each other ・ NQ Vulpeculae ・ NQA-1 ・ NQAF ・ Nqamakwe ・ NQC ・ NQEA Australia ・ NQO2 ・ Nqoba Mxoli ・ Nqobizitha enqore mlilo ・ Nqoko kaGcaleka ・ NQS ・ NQS Calle 30 Sur (TransMilenio) ・ NQS Calle 38 A Sur (TransMilenio) ・ NQS Calle 75 (TransMilenio) ・ NQT ・ Nqthm ・ Nqubeko Zulu ・ Nquma ・ Nquma rousi ・ Nquma scalpta ・ Nquthu ・ Nquthu Local Municipality ・ Nqweba Dam ・ Nqwebasaurus ・ NR ・ NR 25 mine ・ NR 26 mine ・ NR Canis Majoris ・ NR class ・ NR Group Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Nqthm ： ウィキペディア英語版 Nqthm Nqthm is a theorem prover sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2. == History == The system was developed by Robert S. Boyer and J Strother Moore, professors of computer science at the University of Texas, Austin. They began work on the system in 1971 in Edinburgh, Scotland. Their goal was to make a fully automatic, logic-based theorem prover. They used a variant of Pure LISP as the working logic. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Nqthm」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.