"Higher order logic theorem proving and its applications" - Information and Links:

Higher order logic theorem proving and its applications - Info and Reading Options

6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Book's cover
The cover of “Higher order logic theorem proving and its applications” - Open Library.

"Higher order logic theorem proving and its applications" was published by Springer-Verlag in 1994 - Berlin, it has 517 pages and the language of the book is English.


“Higher order logic theorem proving and its applications” Metadata:

  • Title: ➤  Higher order logic theorem proving and its applications
  • Authors:
  • Language: English
  • Number of Pages: 517
  • Publisher: Springer-Verlag
  • Publish Date:
  • Publish Location: Berlin

“Higher order logic theorem proving and its applications” Subjects and Themes:

Edition Specifications:

  • Pagination: ix, 517 p. :

Edition Identifiers:

AI-generated Review of “Higher order logic theorem proving and its applications”:


Read “Higher order logic theorem proving and its applications”:

Read “Higher order logic theorem proving and its applications” by choosing from the options below.

Search for “Higher order logic theorem proving and its applications” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Higher order logic theorem proving and its applications” in Libraries Near You:

Read or borrow “Higher order logic theorem proving and its applications” from your local library.

Buy “Higher order logic theorem proving and its applications” online:

Shop for “Higher order logic theorem proving and its applications” on popular online marketplaces.