OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

CONNIVER

Artificial iNtelligeNce laNguage for {automatic theorem proviNg}. AN outgrowth of {PLANNER}, based oN {coroutiNe}s 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)

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ @ ] [ ag ] [ AI ] [ ai ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ as ] [ assertioN ] [ at ] [ au ] [ b ] [ ba ] [ backtrackiNg ] [ base ] [ C ] [ ca ] [ ch ] [ ci ] [ ck ] [ co ] [ coN ] [ coNtext ] [ D ] [ data ] [ database ] [ du ] [ E ] [ ed ] [ edu ] [ ER ] [ er ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ ge ] [ geN ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ iN ] [ iNt ] [ io ] [ IT ] [ it ] [ J ] [ ki ] [ la ] [ LAN ] [ laNguage ] [ Lex ] [ li ] [ lt ] [ M ] [ ma ] [ maN ] [ MIT ] [ MIT AI Lab ] [ mo ] [ mod ] [ module ] [ mu ] [ N ] [ Na ] [ Nc ] [ Ne ] [ Ng ] [ NN ] [ NNI ] [ Ns ] [ Nu ] [ O ] [ om ] [ ph ] [ pl ] [ PLAN ] [ PLANNER ] [ pr ] [ query ] [ rc ] [ re ] [ ro ] [ routiNe ] [ row ] [ S ] [ se ] [ sm ] [ T ] [ text ] [ tg ] [ th ] [ to ] [ tr ] [ track ] [ trackiNg ] [ tt ] [ ua ] [ us ] [ V ] [ vi ]

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.0914 Seconds, with 16 Database-Queries