|
|
|
|
| LEADER |
01537nas a2200349 a 4500 |
| 001 |
c000165727 |
| 003 |
CARM |
| 005 |
19980819000000.0 |
| 008 |
980819c199u9999gw ar p b 1 a0eng d |
| 019 |
1 |
|
|a 14000664
|5 LACONCORD2021
|
| 035 |
|
|
|a (OCoLC)39359395
|5 LACONCORD2021
|
| 040 |
|
|
|a VU
|b eng
|c VU
|
| 082 |
0 |
4 |
|a 511.3
|2 21
|
| 111 |
2 |
|
|a International Conference on Automated Deduction.
|
| 245 |
1 |
0 |
|a Automated deduction, CADE ... :
|c ... International Conference on Automated Deduction ... : proceedings.
|
| 260 |
|
|
|a Berlin :
|b Springer Verlag,
|
| 300 |
|
|
|a v. :
|b ill. ;
|c 24 cm.
|
| 310 |
|
|
|a Annual,
|b 14th-
|
| 321 |
|
|
|a Biennial,
|b -13th.
|
| 490 |
1 |
|
|a Lecture notes in artificial intelligence. Lecture notes in computer science.
|
| 500 |
|
|
|a Description based on: 11th, 1992.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Automatic theorem proving
|v Congresses.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|v Congresses.
|
| 830 |
|
0 |
|a Lecture notes in computer science.
|p Lecture notes in artificial intelligence.
|
| 852 |
8 |
|
|b CARM
|h A2:AM09F0
|i C05508
|p 0213942
|f SE
|
| 852 |
8 |
|
|b CARM
|h A2:AL21B0
|i B05660
|p 0251120
|f SE
|
| 866 |
|
0 |
|a 12(1994)-13(1996)
|
| 866 |
|
|
|a 12(1994)-13(1996)
|
| 999 |
f |
f |
|i 23e9a6af-6669-543a-9ea9-d3dfae982f09
|s 73152f75-a783-5674-8ae9-619aa7d64597
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05660
|f A2:AL21B0
|h Other scheme
|i book
|k 13(1996)
|m 0251120
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05508
|f A2:AM09F0
|h Other scheme
|i book
|k 12(1994)
|m 0213942
|