An approach to parallel unification using transputers

Jochen Hager Martin Moser

Published in: Forschungsberichte, TU Munich (1989)

Keyphrases

higher order
real time
machine learning
theorem proving
parallel implementation
massively parallel
distributed processing
database
neural network
three dimensional
data structure
expert systems
parallel processing
distributed memory