The resolution calculus
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
Berlin; New York
Springer
1997
|
| Series: | Texts in theoretical computer science
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000pam a2200000 4500 | ||
|---|---|---|---|
| 001 | 34147 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218090343.0 | ||
| 020 | 0 | 0 | |a 3540618821 |
| 035 | |a 0000023045 | ||
| 039 | 9 | |y 200910091556 |z VLOAD | |
| 090 | 0 | 0 | |a QA 76.9.A96 |b L44 1997 |
| 100 | 1 | 0 | |a Leitsch |h Alexander |
| 245 | 1 | 4 | |a The resolution calculus |c Alexander Leitsch |
| 260 | 0 | 0 | |a Berlin; New York |b Springer |c 1997 |
| 300 | |a viii,300p. |b ill |c 24cm | ||
| 440 | 0 | 0 | |a Texts in theoretical computer science |
| 500 | 0 | 0 | |a Includes bibliographical references (p.289-293) and index |
| 650 | 0 | 0 | |a Automatic theorem proving |
| 999 | |a vtls000024540 |c 34147 |d 34147 | ||