| slovo | definícia |
planner
(encz) | planner,plánovač n: Zdeněk Brož |
planner
(encz) | planner,projektant n: Pajosh |
Planner
(gcide) | Planner \Plan"ner\, n.
One who plans; a projector.
[1913 Webster] |
planner
(wn) | planner
n 1: a person who makes plans [syn: planner, contriver,
deviser]
2: a notebook for recording appointments and things to be done,
etc. |
planner
(foldoc) | PLANNER
A language for writing theorem provers 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].
|
| | podobné slovo | definícia |
city planner
(encz) | city planner,urbanista Zdeněk Brož |
event planner
(encz) | event planner, n: |
planner
(encz) | planner,plánovač n: Zdeněk Brožplanner,projektant n: Pajosh |
planners
(encz) | planners,plánovače n: pl. Zdeněk Brožplanners,plánovači n: pl. Pajoshplanners,projektanti n: pl. Zdeněk Brož |
town planner
(encz) | town planner,urbanista Zdeněk Brož |
event planner
(wn) | event planner
n 1: someone who plans social events as a profession (usually
for government or corporate officials) |
planner
(wn) | planner
n 1: a person who makes plans [syn: planner, contriver,
deviser]
2: a notebook for recording appointments and things to be done,
etc. |
microplanner
(foldoc) | microPLANNER
A subset of PLANNER, implemented in Lisp by {Gerald
Sussman} et al at MIT. Its important features were
goal-oriented, pattern-directed procedure invocation, an
embedded knowledge base, and automatic backtracking.
microPLANNER was superseded by Conniver.
["microPLANNER Reference Manual", G.J. Sussman et al, AI Memo
203, MIT AI Lab, 1970].
(1995-01-10)
|
planner
(foldoc) | PLANNER
A language for writing theorem provers 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].
|
planner-73
(foldoc) | Planner-73
The original name for PLASMA.
|
vp-planner
(foldoc) | VP-Planner
A spreadsheet from Paperback Software. It
has a graph menu within the spreadsheet program (with CGA
graphics). The graphs are updated every time the graph screen
is activated.
(1995-03-28)
|
|