Enlarge

Automated deduction in multiple-valued logics

Reiner Hähnle

Publication Data

Title Automated deduction in multiple-valued logics
Author Reiner Hähnle
Publisher Clarendon Press
Publication date 1993
Publication location Oxford
Language English

Topics

Automatic theorem proving
011642340

Catalogue Data

OBNB ID GB9405173
ISBN 10 0198539894
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 ix,172p.

Buy a copy

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

Automated deduction in multiple-valued logics by Reiner Hähnle. ISBN 0198539894. Published by Clarendon Press in 1993. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.