|
|
|
|
| LEADER |
01670cam a2200361 a 4500 |
| 005 |
20130713153443.0 |
| 008 |
950613s1995 gw a b 100 0 eng d |
| 010 |
|
|
|a 95174471
|
| 020 |
|
|
|a 3540593381
|
| 035 |
|
|
|a (OCoLC)32644245
|
| 040 |
|
|
|a NRU
|c NRU
|d HR-ZaFER
|b hrv
|e ppiak
|
| 042 |
|
|
|a lccopycat
|
| 050 |
0 |
4 |
|a QA76.9.A96
|b T33 1995
|
| 082 |
0 |
0 |
|a 005.1/1
|2 20
|
| 111 |
2 |
|
|a TABLEAUX '95
|d (1995 :
|c Sankt Goar, Germany)
|
| 245 |
1 |
0 |
|a Theorem proving with analytic tableaux and related methods :
|b 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /
|c Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
|
| 260 |
|
|
|a Berlin :
|a New York :
|b Springer,
|c c1995.
|
| 300 |
|
|
|a x, 352 p. :
|b ill. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 918.
|a Lecture notes in artificial intelligence
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Automatic theorem proving
|x Congresses.
|
| 650 |
|
0 |
|a Nonclassical mathematical logic
|x Congresses.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|x Congresses.
|
| 700 |
1 |
|
|a Baumgartner, Peter,
|d 1962-
|
| 700 |
1 |
|
|a Hähnle, Reiner.
|
| 700 |
1 |
|
|a Posegga, Joachim.
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 918.
|
| 830 |
|
0 |
|a Lecture notes in computer science.
|p Lecture notes in artificial intelligence.
|
| 856 |
4 |
2 |
|3 Publisher description
|u http://www.loc.gov/catdir/enhancements/fy0812/95174471-d.html
|
| 906 |
|
|
|a 7
|b cbc
|c copycat
|d 2
|e ncip
|f 19
|g y-gencatlg
|
| 942 |
|
|
|2 udc
|c K
|
| 955 |
|
|
|a pb17 07-06-95 to cat.;jf00 07/10/95; jf06 to subj 07-17-95; jf11 to sl 07-24-95; jf13 08-09-95; aa19 08-29-95
|
| 999 |
|
|
|c 35293
|d 35293
|
