Researchco Books and Periodals Pvt Ltd. Livres académiques et distribution Contactez-nous

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (LNAI)

COMPUTER

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (LNAI)

Par SWART HARRIE DE

US $ 82.95 Envoyer une demande

ISBN 13: 9783540644064
ISBN 10: N/A
Éditeur: SPRINGER-VERLAG
Année: 1998
Pages: —
Reliure: HB

Description

N/A

Table des matières

N/A