OnlineWoerterBuecher.de
Internes

Lexikon

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].

In addition suitable contents:
[ = ] [ @ ] [ Actor ] [ Actors ] [ ag ] [ AI ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ AS ] [ as ] [ ash ] [ ASM ] [ b ] [ bo ] [ bot ] [ bs ] [ by ] [ C ] [ CA ] [ CAI ] [ ch ] [ CONNIVER ] [ cr ] [ D ] [ DC ] [ de ] [ du ] [ E ] [ ed ] [ edu ] [ ee ] [ ER ] [ er ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ IS ] [ is ] [ ISP ] [ IT ] [ it ] [ J ] [ ke ] [ la ] [ LAN ] [ language ] [ LER ] [ Lex ] [ li ] [ LIS ] [ ls ] [ ly ] [ M ] [ micro ] [ microPLANNER ] [ MIT ] [ mo ] [ mod ] [ mode ] [ model ] [ module ] [ mp ] [ ms ] [ N ] [ na ] [ ng ] [ NN ] [ NNI ] [ O ] [ ph ] [ pl ] [ PLAN ] [ PLASMA ] [ POP ] [ POPLER ] [ pr ] [ Q ] [ QL ] [ QLISP ] [ query ] [ rc ] [ re ] [ rl ] [ ro ] [ row ] [ S ] [ Scheme ] [ se ] [ set ] [ sh ] [ so ] [ SP ] [ st ] [ su ] [ sy ] [ system ] [ T ] [ tg ] [ th ] [ to ] [ tt ] [ ua ] [ V ] [ ve ] [ vi ]






[ Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (4450 Reads)
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.1964 Seconds, with 17 Database-Queries
Zurück zur Startseite