Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal.

Laira Vieira Toscani Paulo A. S. Veloso

Published in: SBES (1989)

Keyphrases

formal model
three dimensional
formal analysis
neural network
data mining
formal methods
formal language
search algorithm
information technology
mobile robot
logic programming
formal representation