New academic arrivals are being added weekly for colleges, libraries, researchers, and specialist distributors.
Researchco Books and Periodals Pvt Ltd. Academic Books & Distribution
Contact Us
Home / Book Detail

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (LNAI)

COMPUTER

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (LNAI)

By SWART HARRIE DE

US $ 82.95 Send Query
ISBN 13
9783540644064
ISBN 10
N/A
Publisher
SPRINGER-VERLAG
Year
1998
Pages
—
Binding
HB

Description

N/A

Table of Contents

N/A