| Listados | |
| invenia |
A Proof-Checker for Dynamic Logic (+)
checker dynamic logic we consider problem getting computer follow reasoning conducted dynamic
Tags:
oai:dspace.mit.edu:1721.1/5762
Publicidad
Semantics of Inheritance and Attributions in the Description System Omega (+)
inheritance attributions description system omega omega description system knowledge
Tags:
oai:dspace.mit.edu:1721.1/5685
Modifications to PDP-6 Teletype Logic (+)
pdp 6 teletype logic existing teletype logic pdp 6 modified accommodate up four
Tags:
oai:dspace.mit.edu:1721.1/6130
The design of a conservative logic computer and a graphical editor simulator (+)
institute technology design conservative logic computer graphical editor simulator
Tags:
oai:dspace.mit.edu:1721.1/15895
A Human Oriented Logic for Automatic Theorem Proving (+)
oriented logic automatic theorem proving automation first order logic received comparatively
Tags:
oai:dspace.mit.edu:1721.1/5807
Experience with Acore: Implementing GHC with Actors (+)
acore implementing ghc actors paper concurrent interpreter general purpose concurrent
Tags:
oai:dspace.mit.edu:1721.1/6026
Executing and verifying CCS in Maude (+)
executing verifying ccs maude we explore features rewriting logic language
Tags:
oai:www.ucm.es:1661
SweetDeal: Representing Agent Contracts With Exceptions using XML Rules, Ontologies, and Process Descriptions (+)
representing agent contracts exceptions xml rules ontologies process descriptions
Tags:
oai:dspace.mit.edu:1721.1/3545
Incorporating generalized quantifiers into description logic for representing data source contents (+)
school management massachusetts institute technology incorporating generalized quantifiers
Tags:
oai:dspace.mit.edu:1721.1/2693
A Basis for a Mathematical Theory of Computation (+)
mathematical theory computation paper corrected version paper same title given western joint
Tags:
oai:dspace.mit.edu:1721.1/6099
Publicidad
AAAAAAAAAAAA