A many-sorted calculus based on resolution and paramodulation / Christoph Walther.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London :
Pitman,
1987
|
| Series: | Research notes in artificial intelligence,
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00719nxm-a2200193zn-4500 | ||
|---|---|---|---|
| 001 | 000179998 | ||
| 005 | 20180201101808.0 | ||
| 008 | 940223s1987----uk-a----W----00-----eng-- | ||
| 020 | |a 0273087185 | ||
| 089 | |a 511.3 | ||
| 100 | 1 | |a Walther, Christoph | |
| 245 | 1 | 2 | |a A many-sorted calculus based on resolution and paramodulation / |c Christoph Walther. |
| 260 | |a London : |b Pitman, |c 1987 | ||
| 490 | 0 | |a Research notes in artificial intelligence, |x 0268-7526 | |
| 504 | |a Bibliography, p154-160 | ||
| 650 | 0 | 0 | |a Automatic theorem proving |
| 650 | 0 | 0 | |a Reasoning |
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_WAL |7 0 |9 235211 |a PILKINGTON |b PILKINGTON |c MAIN |d 1994-02-23 |l 0 |o 511.3/WAL |p 029326801 |r 2018-02-01 |w 2018-02-01 |y LONG | ||
| 999 | |c 153884 |d 153884 | ||