Instantiation theory : on the foundations of automated deduction /
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Boek |
| Taal: | English |
| Gepubliceerd in: |
Berlin ; New York :
Springer-Verlag,
c1991.
|
| Reeks: | Lecture notes in computer science ;
518. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Onderwerpen: |
| LEADER | 01307nam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | c000162023 | ||
| 003 | CARM | ||
| 005 | 19980605000000.0 | ||
| 008 | 910701s1991 gw a b 000 0 eng | ||
| 019 | 1 | |a 8345060 |5 LACONCORD2021 | |
| 020 | |a 0387543333 |b (New York : acid-free paper) | ||
| 020 | |a 3540543333 |b (Berlin : acid-free paper) | ||
| 035 | |a (OCoLC)24144032 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC |d NU | ||
| 050 | 0 | 0 | |a QA76.9.A96 |b W55 1991 |
| 082 | 0 | 0 | |a 511.3 |2 20 |
| 100 | 1 | |a Williams, James G. | |
| 245 | 1 | 0 | |a Instantiation theory : |b on the foundations of automated deduction / |c J.G. Williams. |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1991. | ||
| 300 | |a viii, 133 p. : |b ill. ; |c 25 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 518. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references (p. [128]-133). | ||
| 650 | 0 | |a Automatic theorem proving. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 518. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AL20D0 |i C05348 |p 0213777 |f BK | |
| 999 | f | f | |i 4542e8a7-31da-5479-ba55-cf8cd55b328f |s 2a83c19d-f381-5e4a-a95c-6700e41bc5d9 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C05348 |f A2:AL20D0 |h Other scheme |i book |m 0213777 |