Higher order logic theorem proving and its applications

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by ImportBot
October 5, 2021 | History

Higher order logic theorem proving and its applications

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English
Pages
400

Buy this book

Previews available in: English

Book Details


Edition Notes

Includes bibliographical references.

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 971

Classifications

Dewey Decimal Class
004/.01/5113
Library of Congress
QA76.9.A96 H54 1995, QA75.5-76.95

The Physical Object

Pagination
viii, 400 p. :
Number of pages
400

ID Numbers

Open Library
OL792389M
Internet Archive
higherorderlogic00schu
ISBN 10
3540602755
LCCN
95024951
OCLC/WorldCat
33013392
Goodreads
1919338

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 5, 2021 Edited by ImportBot import existing book
February 5, 2019 Created by MARC Bot import existing book