Automated theorem proving methods

Saved in:

Bibliographic Details
Published in:	BIT Vol. 25; no. 1; pp. 51 - 64
Main Author:	NOSSU, R
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer 01-03-1985
Subjects:	Applied sciences Artificial intelligence Computer science; control theory; systems Exact sciences and technology Problem solving, game playing Theorem proving Reasoning Automation
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	0006-3835 1572-9125
DOI:	10.1007/BF01934987