browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z


  2  definitions  found 
  From  Webster's  Revised  Unabridged  Dictionary  (1913)  [web1913]: 
  Conniver  \Con*niv"er\,  n. 
  One  who  connives. 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
  {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].