MPG.eBooks - Search Results - "Queensland, Australia"

Cover Image

1

Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

by McCune, William
Published 1997

Springer Berlin Heidelberg

Cover Image

2

Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

“... on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997. The volume...”