翻訳と辞書 Words near each other ・ conjunctive normal form ・ connect ・ connected graph ・ connected subgraph ・ connection machine lisp ・ connection-oriented ・ connection-oriented network service ・ connectionless protocol ・ connective ・ connector conspiracy ・ conniver ・ cons ・ conservative evaluation ・ considered harmful ・ consistently complete ・ console ・ console jockey ・ consortium for lexical research ・ constant angular velocity ・ constant applicative form Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Conniver ： FOLDOC CONNIVER Artificial intelligence language for {automatic theorem proving}. An outgrowth of PLANNER, based on {coroutines} rather than backtracking. Allowed multiple database contexts with hypothetical assertions. ["The CONNIVER Reference Manual", D. McDermott & G.J. Sussman , AI Memo 259, MIT AI Lab, 1973]. (1995-01-10) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.