For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
Deduction Systems
Deduction Systems
(
)
Author:
Socher-Ambrosius, Rolf
Johann, Patricia
Series title:
Graduate Texts in Computer Science
ISBN:
978-0-387-94847-8
Publication Date:
Jan 1996
Publisher:
Springer
Book Format:
Hardback
List Price:
AUD $159.95
Buy Now
Book Details
Pages:
206
Detailed Subjects:
Computers / Artificial Intelligence / General
Physical Dimensions
(W X L X H)
:
18.466 x 24.308 x 2.032 cm
Book Weight:
0.552 Kilograms
Related Books
View more
On Concurrent Pro...
Schneider, Fred B.
Hardback:
First-Order Logic...
Fitting, Melvin
Hardback:
An Introduction t...
Li, Ming
Hardback:
$109.00
Fundamentals of t...
Munakata, Toshinori
Hardback:
Featured Books
The Black Box
Connelly, Michael
Paperback:
$12.00
After Annie
Quindlen, Anna
Hardback:
$30.00
Cinema Speculation
Tarantino, Quentin
Paperback:
$21.00
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.