Get Affordable VMs - excellent virtual server hosting


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

plannermore about planner

planner

 

  3  definitions  found 
 
  From  Webster's  Revised  Unabridged  Dictionary  (1913)  [web1913]: 
 
  Planner  \Plan"ner\,  n. 
  One  who  plans;  a  projector. 
 
  From  WordNet  r  1.6  [wn]: 
 
  planner 
  n  :  a  person  who  makes  plans  [syn:  {contriver},  {deviser}] 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
 
  PLANNER 
 
  A  language  for  writing  {theorem  prover}s  by  {Carl  Hewitt} 
    {MIT}  1967.  Never  fully  implemented. 
 
  {CONNIVER}  was  an  outgrowth  of  {PLANNER}  and  {microPLANNER}  a 
  subset.  {PLASMA}  is  a  PLANNER-like  system  modelled  on 
  {Actors}.  See  also  {POPLER},  {QLISP},  {Scheme}. 
 
  ["PLANNER:  A  Language  for  Proving  Theorems  in  Robots",  Carl 
  Hewitt,  Proc  IJCAI-69,  Wash  DC  May  1969].




more about planner