A survey of symbolic computation in physics (invited).

Published in: EUROSAM (1979)

Keyphrases

computer science
imperative programs
artificial intelligence
researchers and practitioners
image processing
database
selected papers
quantum mechanics
automated deduction
social networks
artificial neural networks
knowledge discovery