Cover image not available

Generic automatic proof tools

Lawrence C. Paulson

Publication Data

Title Generic automatic proof tools
Author Lawrence C. Paulson
Contributor
Publisher University of Cambridge, Computer Laboratory
Publication date 1996
Publication location Cambridge
Language English

Topics

Automatic theorem proving

Catalogue Data

OBNB ID GB9666137
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 28 p.
P1042 Includes bibliographical references and index.

Buy a copy

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

Generic automatic proof tools by Lawrence C. Paulson. Published by University of Cambridge, Computer Laboratory in 1996. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.