A resolution principle for a logic with restricted quantifiers

dc.contributor.author	Bürckert, H. J. (Hans-Jürgen)
dc.date.accessioned	2012-11-04T02:59:27Z
dc.date.available	2012-11-04T02:59:27Z
dc.date.issued	1991
dc.identifier.isbn	3540550348 (Berlin : alk. paper)
dc.identifier.isbn	0387550348 (U.S. : alk. paper)
dc.identifier.uri	http://hdl.handle.net/123456789/2168
dc.language.iso	en	en_US
dc.publisher	Berlin ; New York : Springer-Verlag	en_US
dc.relation.ispartofseries	Lecture notes in computer science;568. Lecture notes in artificial intelligence;
dc.relation.ispartofseries	Lecture notes in computer science;568.;
dc.relation.ispartofseries	Lecture notes in computer science. Lecture notes in artificial intelligence.;
dc.subject	QA76.9.A96 B87 1991	en_US
dc.subject	Automatic theorem proving.	en_US
dc.subject	Logic, Symbolic and mathematical.	en_US
dc.title	A resolution principle for a logic with restricted quantifiers	en_US
dc.type	Book	en_US