Sign in
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.
Anna Ciampolini
Evelina Lamma
Paola Mello
Cesare Stefanelli
Published in:
ELP (1993)
Keyphrases
</>
real time
real world
search space
inference rules
formal theory
knowledge base
language learning
formal language
proof theory