Rajaa
Hakutulokset: 9783540610403
Rajaa
yksi hakutulos.
Term Indexing
nidottu,
1996,
englanti,
ISBN 9783540610403
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus …