Bruno Buchberger - A life devoted to symbolic computation.

Hoon Hong Deepak Kapur Peter Paule Franz Winkler

Published in: J. Symb. Comput. (2006)

Keyphrases

artificial intelligence
real world
daily life
automated deduction
database
databases
information retrieval systems
imperative programs