Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [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)