A resolution principle for a logic with restricted quantifiers /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1991.
|
| Series: | Lecture notes in computer science ;
568. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
| LEADER | 01392nam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | c000162222 | ||
| 003 | CARM | ||
| 005 | 19940627000000.0 | ||
| 008 | 920803s1991 gw a b 001 0 eng | ||
| 010 | |a 92138832 //r94 | ||
| 019 | 1 | |a 9636746 |5 LACONCORD2021 | |
| 020 | |a 3540550348 |b (Berlin : alk. paper) | ||
| 020 | |a 0387550348 |b (U.S. : alk. paper) | ||
| 035 | |a (OCoLC)29033735 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC | ||
| 050 | 0 | 0 | |a QA76.9.A96 |b B87 1991 |
| 082 | 0 | 0 | |a 006.3 |2 20 |
| 100 | 1 | |a Bürckert, H.-J. |q (Hans-Jürgen) | |
| 245 | 1 | 2 | |a A resolution principle for a logic with restricted quantifiers / |c H.-J. Bürckert. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1991. | ||
| 300 | |a x, 116 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 568. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references (p. [101]-109) and indexes. | ||
| 650 | 0 | |a Automatic theorem proving. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 568. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AM11F0 |i C05514 |p 0214116 |f BK | |
| 999 | f | f | |i 8a2291a2-c8d4-5d4f-b1ed-f359d0c9328b |s 7e308b92-d70b-5d5b-907a-d73a14056da3 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C05514 |f A2:AM11F0 |h Other scheme |i book |m 0214116 |