Automated theorem proving: the resolution method

Name: Automated theorem proving: the resolution method
Creator: R. Peikert
Keywords: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article 01 Aug 1987 English Publisher:Association for Computing Machinery (ACM)Journal:ACM SIGSAM Bulletin, volume 21, pages 61-68 (issn: 0163-5824,

Authors: R. Peikert;

doi: 10.1145/29309.29319

Automated theorem proving: the resolution method

- Summary
- Metrics

Abstract

The goal of this project is to learn the basic notions of predicate logic and of automated theorem proving. A small theorem prover written in LISP has been taken from [1] and can be used for this project. Knowledge of the programming language LISP is required only for the optional part of the project.

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average