Comments: A resolution principle for a logic with restricted quantifiers

Saved in:

Bibliographic Details
Main Author:	Bürckert, H. J. (Hans-Jürgen)
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag 2012
Subjects:	QA76.9.A96 B87 1991 Automatic theorem proving. Logic, Symbolic and mathematical.
Online Access:	http://hdl.handle.net/123456789/2168
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!