Enlarge

Higher order logic theorem proving and its applications

Publication Data

Title Higher order logic theorem proving and its applications
Contributors Luc J. M. Claesen, M. J. C. Gordon, International Federation for Information Processing
Publisher North-Holland
Publication date 1993
Language English

Topics

Automatic theorem proving :: Congresses
Logic, Symbolic and mathematical :: Congresses

Catalogue Data

OBNB ID GB9315270
ISBN 10 0444898808
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xiii, 568p.

Buy a copy

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

Higher order logic theorem proving and its applications. ISBN 0444898808. Published by North-Holland in 1993. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.