Non-sequential Mathematical Notations in the LAMBDA System.

Cristian Bernareggi

Published in: ICCHP (2) (2010)

Keyphrases

sequential search
multi agent
data model
fixed point
levels of abstraction
lambda calculus
mathematical knowledge
genetic algorithm
artificial intelligence
high level
mathematical models
modeling language