Goals and Benchmarks for Automated Map Reasoning

Journal of Symbolic Computation - United States
doi 10.1006/jsco.1999.0362
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV