Automated deduction : a basis for applications :: ISBN 0792351312 :: Kluwer Academic 1998 :: OBNB, the Open British National Bibliography

Publication Data

Title Automated deduction : a basis for applications
Contributors W. Bibel, P. H. Schmitt
Publisher Kluwer Academic
Publication date 1998
Publication location Dordrecht
Volumes 3
Language English

Contents: v.1. Foundations - calculi and methods _ v.2. Systems and implementation techniques _ v.3. Applications.

Topics

Logic, Symbolic and mathematical
Automatic theorem proving

Catalogue Data

OBNB ID GB9853848
ISBN 10 0792351312
ISBN 13 n/a
Type BibliographicResource, MultiVolumeBook
Dewey Classification 006.33

ISBD

P1053 3 v. (xx,480;xiv,434;xii,334p)
P1042 Includes bibliographies and indexes.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Automated deduction : a basis for applications. ISBN 0792351312. Published by Kluwer Academic in 1998. Publication and catalogue information, links to buy online and reader comments.