New academic arrivals are being added weekly for colleges, libraries, researchers, and specialist distributors.

HANDBOOK OF AUTOMATED REASONING /Set-1-2

GENERAL,LOGIC,AUTOMATIC THEOREM PROVING,QUALITATIVE REASONING.,INFORMATION THEORY,MATHEMATICS-LOGIC AND PHILOSOPHY/ MECHNICAL

HANDBOOK OF AUTOMATED REASONING /Set-1-2

By ROBINSON ALAN & VORONKOV ANDREI

US $ 550.00 Send Query
ISBN 13
9780444508133
ISBN 10
N/A
Publisher
MIT PRESS
Year
2006
Pages
Binding
HB

Description

N/A

Table of Contents

N/A