slovodefinícia
conniver
(encz)
conniver,
Conniver
(gcide)
Conniver \Con*niv"er\, n.
One who connives.
[1913 Webster]
conniver
(foldoc)
CONNIVER

An artificial intelligence programming language for
automatic theorem proving from MIT. CONNIVER grew out of
PLANNER and was based on coroutines rather than
backtracking. It 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)
podobné slovodefinícia
conniver
(encz)
conniver,
conniver
(foldoc)
CONNIVER

An artificial intelligence programming language for
automatic theorem proving from MIT. CONNIVER grew out of
PLANNER and was based on coroutines rather than
backtracking. It 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)

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4