OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

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

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.093 Seconds, with 17 Database-Queries