Cover Image

A resolution principle for a logic with restricted quantifiers

Saved in:
Bibliographic Details
Main Author: Bürckert, H. J. (Hans-Jü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!
id my.umt.ir-2168
record_format eprints
spelling my.umt.ir-21682016-03-16T05:24:08Z A resolution principle for a logic with restricted quantifiers Bürckert, H. J. (Hans-Jürgen) QA76.9.A96 B87 1991 Automatic theorem proving. Logic, Symbolic and mathematical. 2012-11-04T02:59:27Z 2012-11-04T02:59:27Z 1991 Book 3540550348 (Berlin : alk. paper) 0387550348 (U.S. : alk. paper) http://hdl.handle.net/123456789/2168 en 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.; application/pdf Berlin ; New York : Springer-Verlag
institution Universiti Malaysia Terengganu
building Perpustakaan Sultanah Nur Zahirah
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Malaysia Terengganu
content_source UMT-IR
url_provider http://umt-ir.umt.edu.my:8080/
language English
topic QA76.9.A96 B87 1991
Automatic theorem proving.
Logic, Symbolic and mathematical.
spellingShingle QA76.9.A96 B87 1991
Automatic theorem proving.
Logic, Symbolic and mathematical.
Bürckert, H. J. (Hans-Jürgen)
A resolution principle for a logic with restricted quantifiers
format Book
author Bürckert, H. J. (Hans-Jürgen)
author_facet Bürckert, H. J. (Hans-Jürgen)
author_sort Bürckert, H. J. (Hans-Jürgen)
title A resolution principle for a logic with restricted quantifiers
title_short A resolution principle for a logic with restricted quantifiers
title_full A resolution principle for a logic with restricted quantifiers
title_fullStr A resolution principle for a logic with restricted quantifiers
title_full_unstemmed A resolution principle for a logic with restricted quantifiers
title_sort resolution principle for a logic with restricted quantifiers
publisher Berlin ; New York : Springer-Verlag
publishDate 2012
url http://hdl.handle.net/123456789/2168
_version_ 1738395586955051008
score 13.211869

Similar Items