Author: Special Session On Automatic Theorem Proving (1983 Denver, Colo.)

Author's info and books

Information about author Special Session On Automatic Theorem Proving (1983 Denver, Colo.) from several data sources.

Author Search

Search for any author

AI-generated bio of "Special Session On Automatic Theorem Proving (1983 Denver, Colo.)":


Books Results

Source: The Open Library

Special Session On Automatic Theorem Proving (1983 Denver, Colo.) Books

Books writen by author Special Session On Automatic Theorem Proving (1983 Denver, Colo.) from The Open Library

1Automated theorem proving

By

Book's cover

“Automated theorem proving” Metadata:

  • Title: Automated theorem proving
  • Author: ➤  
  • Language: English

Access and General Info:

  • First Year Published: 1984
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Automated theorem proving at online marketplaces:


Top of Page