Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /
Saved in:
| 企業作者: | |
|---|---|
| 其他作者: | |
| 格式: | Conference Proceeding 圖書 |
| 語言: | English |
| 出版: |
Berlin ; New York :
Springer,
c1996.
|
| 叢編: | Lecture notes in computer science ;
1071. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| 主題: |
| LEADER | 01590nam a2200361 a 4500 | ||
|---|---|---|---|
| 001 | c000175391 | ||
| 003 | CARM | ||
| 005 | 20000917194603.0 | ||
| 008 | 960410s1996 gw a b 001 0 eng | ||
| 010 | |a 96017235 | ||
| 019 | 1 | |a 12295606 |5 LACONCORD2021 | |
| 020 | |a 3540612084 | ||
| 020 | |a 3540612084 | ||
| 035 | |a (OCoLC)34604201 |5 LACONCORD2021 | ||
| 040 | |a LC |b eng |c LC |d NU | ||
| 050 | 0 | 0 | |a QA76.9.A96 |b T33 1996 |
| 082 | 0 | 0 | |a 511.3 |2 20 |
| 111 | 2 | |a TABLEAUX '96, |d (1996 : |c Terrasini, Italy) | |
| 245 | 1 | 0 | |a Theorem proving with analytic tableaux and related methods : |b 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / |c P. Miglioli ... [et al.], eds. |
| 246 | 3 | 0 | |a TABLEAUX '96. |
| 260 | |a Berlin ; |a New York : |b Springer, |c c1996. | ||
| 300 | |a x, 329 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 1071. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Automatic theorem proving |v Congresses. | |
| 650 | 0 | |a Nonclassical mathematical logic |x Congresses. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 700 | 1 | |a Miglioli, P. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 1071. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AL37A0 |i B05625 |p 0239250 |f BK | |
| 999 | f | f | |i d48ee57b-b286-5d6b-8b0d-9c7e1f94c111 |s b317e0b7-afa5-5f4f-abbf-49bc946b5a44 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e B05625 |f A2:AL37A0 |h Other scheme |i book |m 0239250 |