DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
http://umt-ir.umt.edu.my:8080/handle/123456789/2168| Title: | A resolution principle for a logic with restricted quantifiers |
| Authors: | Bürckert, H. J. (Hans-Jürgen) |
| Keywords: | QA76.9.A96 B87 1991 Automatic theorem proving. Logic, Symbolic and mathematical. |
| Issue Date: | 1991 |
| Publisher: | Berlin ; New York : Springer-Verlag |
| Series/Report no.: | Lecture notes in computer science;568. Lecture notes in artificial intelligence; Lecture notes in computer science;568.; Lecture notes in computer science. Lecture notes in artificial intelligence.; |
| URI: | http://hdl.handle.net/123456789/2168 |
| ISBN: | 3540550348 (Berlin : alk. paper) 0387550348 (U.S. : alk. paper) |
| Appears in Collections: | E-Book |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A Resolution Principle for a Logic with Restricted Quantifiers.pdf Restricted Access | 6.43 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.