Book Search Results
Higher Order Logic Theorem Proving And Its Applications by Phillip J. Windley
Find "Higher Order Logic Theorem Proving And Its Applications" by Phillip J. Windley through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Higher order logic theorem proving and its applications
By Phillip J. Windley, James Alves-Foss, Gerhard Goos and Juris Hartmanis
“Higher order logic theorem proving and its applications” Metadata:
- Title: ➤ Higher order logic theorem proving and its applications
- Authors: Phillip J. WindleyJames Alves-FossGerhard GoosJuris Hartmanis
- Language: English
- Number of Pages: Median: 400
- Publisher: Springer-Verlag - Springer
- Publish Date: 1995
- Publish Location: Berlin - New York
“Higher order logic theorem proving and its applications” Subjects and Themes:
- Subjects: ➤ Congresses - Symbolic and mathematical Logic - Automatic theorem proving - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9061628M - OL792389M
- Online Computer Library Center (OCLC) ID: 33013392
- Library of Congress Control Number (LCCN): 95024951
- All ISBNs: 9783540602750 - 3540602755
Author's Alternative Names:
"G. Goos", "J Hartmanis" and "J. Hartmanis"Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Higher order logic theorem proving and its applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Higher Order Logic Theorem Proving and Its Applications
By E. Thomas Schubert, Phillip J. Windley and James Alves-Foss
“Higher Order Logic Theorem Proving and Its Applications” Metadata:
- Title: ➤ Higher Order Logic Theorem Proving and Its Applications
- Authors: E. Thomas SchubertPhillip J. WindleyJames Alves-Foss
- Number of Pages: Median: 416
- Publisher: Springer
- Publish Date: 2014
Edition Identifiers:
- The Open Library ID: OL27954210M
- All ISBNs: 3662176203 - 9783662176207
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Higher Order Logic Theorem Proving and Its Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Higher Order Logic Theorem Proving And Its Applications” online:
Shop for “Higher Order Logic Theorem Proving And Its Applications” on popular online marketplaces.
- Ebay: New and used books.