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

HANDBOOK OF AUTOMATED REASONING /Set-1-2

MATHEMATICS

HANDBOOK OF AUTOMATED REASONING /Set-1-2

Par ROBINSON ALAN & VORONKOV ANDREI

$ 550.00 Envoyer une demande

ISBN 13: 9780444508133
ISBN 10: N/A
Éditeur: MIT PRESS
Année: 2006
Pages: —
Reliure: HB

Description

N/A

Table des matières

N/A