NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • No language data
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 1 of 1 (0.13 seconds)

Spelling suggestions: "subject:"predicate calculata processing."" "subject:"predicate calculus.it processing.""

1

An improved theorem prover by using the semantics of structure

Johnson, Donald Gordon. January 1985 (has links)
Call number: LD2668 .T4 1985 J63 / Master of Science
Automatic theorem proving.
Logic, Symbolic and mathematical.
Predicate calculus--Data processing.
Formal languages--Semantics.
Masters theses

Page generated in 0.1347 seconds