1. UMT Institutional Repository
  2. PSNZ Collections
  3. E-Book
Please use this identifier to cite or link to this item: http://umt-ir.umt.edu.my:8080/handle/123456789/2168
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBürckert, H. J. (Hans-Jürgen)-
dc.date.accessioned2012-11-04T02:59:27Z-
dc.date.available2012-11-04T02:59:27Z-
dc.date.issued1991-
dc.identifier.isbn3540550348 (Berlin : alk. paper)-
dc.identifier.isbn0387550348 (U.S. : alk. paper)-
dc.identifier.urihttp://hdl.handle.net/123456789/2168-
dc.language.isoenen_US
dc.publisherBerlin ; New York : Springer-Verlagen_US
dc.relation.ispartofseriesLecture notes in computer science;568. Lecture notes in artificial intelligence;-
dc.relation.ispartofseriesLecture notes in computer science;568.;-
dc.relation.ispartofseriesLecture notes in computer science. Lecture notes in artificial intelligence.;-
dc.subjectQA76.9.A96 B87 1991en_US
dc.subjectAutomatic theorem proving.en_US
dc.subjectLogic, Symbolic and mathematical.en_US
dc.titleA resolution principle for a logic with restricted quantifiersen_US
dc.typeBooken_US
Appears in Collections:E-Book

Files in This Item:
File Description SizeFormat 
A Resolution Principle for a Logic with Restricted Quantifiers.pdf
  Restricted Access		6.43 MBAdobe PDFView/Open Request a copy
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.