Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings
| 000 | 01575camuu2200313 a 4500 | |
| 001 | 000000676832 | |
| 005 | 20001102143636 | |
| 008 | 980327s1998 gw a b 101 0 eng | |
| 010 | ▼a 98018124 //r982 | |
| 020 | ▼a 3540644067 (pbk. : alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d UKM ▼d OHX ▼d 211009 | |
| 049 | 1 | ▼l 121046811 ▼f 과학 |
| 050 | 0 0 | ▼a QA76.9.A96 ▼b T34 1998 |
| 072 | 7 | ▼a Q ▼2 lcco |
| 082 | 0 0 | ▼a 006.3/33 ▼2 21 |
| 090 | ▼a 006.333 ▼b T113a | |
| 111 | 2 | ▼a TABLEAUX'98 ▼d (1998 : ▼c Oisterwijk, Netherlands) |
| 245 | 1 0 | ▼a Automated reasoning with analytic tableaux and related methods : ▼b International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / ▼c Harrie de Swart, ed. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c1998. | |
| 300 | ▼a x, 324 p. : ▼b ill. ; ▼c 24 cm. | |
| 490 | 1 | ▼a Lecture notes in computer science , ▼x 0302-9743 ; ▼v 1397. ▼a Lecture notes in artificial intelligence |
| 500 | ▼a "This volume contains the papers presented at TABLEAUX'98, the International Conference on Analytic Tableaux and Related Methods, held on May 5-8, 1998 in Oisterwijk (conference centre Boschoord), near Tilburg, the Netherlands"--Preface. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Automatic theorem proving ▼x Congresses. |
| 650 | 0 | ▼a Artificial intelligence ▼x Congresses. |
| 700 | 1 | ▼a Swart, H. C. M. de. |
| 830 | 0 | ▼a Lecture notes in computer science ; ▼v 1397. |
| 830 | 0 | ▼a Lecture notes in computer science ▼p Lecture notes in artificial intelligence. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 006.333 T113a | 등록번호 121046811 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |