|
|
|
|
| LEADER |
01386nam a2200325 a 4500 |
| 001 |
c000187208 |
| 003 |
CARM |
| 005 |
20050209190436.0 |
| 008 |
960829s1996 gw a b 101 0 eng |
| 010 |
|
|
|a 96041752
|
| 019 |
1 |
|
|a 12771210
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540617329
|
| 035 |
|
|
|a (OCoLC)35450464
|5 LACONCORD2021
|
| 040 |
|
|
|a DLC
|b eng
|c DLC
|d DLC
|
| 050 |
0 |
0 |
|a Q334
|b .A766 1996
|
| 082 |
0 |
0 |
|a 006.3/01/5113
|2 20
|
| 111 |
2 |
|
|a AISMC-3,
|d (1996 :
|c Steyr, Austria)
|
| 245 |
1 |
0 |
|a Artificial intelligence and symbolic mathematical computation :
|b international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
|c Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1996.
|
| 300 |
|
|
|a viii, 379 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 1138.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Artificial intelligence
|x Congresses.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|x Congresses.
|
| 700 |
1 |
|
|a Pfalzgraf, Jochen.
|
| 700 |
1 |
|
|a Calmet, Jacques.
|
| 700 |
1 |
|
|a Campbell, J. A.,
|d 1940-
|
| 852 |
8 |
|
|b CARM
|h A2:AL21B0
|i B05660
|p 0251111
|f BK
|
| 999 |
f |
f |
|i dff17a9c-f232-5eed-a50d-8906256c5953
|s 9db2ab93-cc69-510a-877f-7d5f06b1d235
|
| 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
|m 0251111
|