|
|
|
|
| LEADER |
01507nam a2200337 a 4500 |
| 001 |
c000177255 |
| 003 |
CARM |
| 005 |
20000917191154.0 |
| 008 |
960521s1996 gw a b 101 0 eng |
| 010 |
|
|
|a 96023718 //r98
|
| 019 |
1 |
|
|a 12451888
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540613773
|
| 020 |
|
|
|a 3540613773
|
| 035 |
|
|
|a (OCoLC)34788224
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
| 050 |
0 |
0 |
|a QA75.5
|b .W625 1995
|
| 082 |
0 |
0 |
|a 004/.01/5113
|2 20
|
| 111 |
2 |
|
|a Workshop on Computer Science Logic
|n (9th :,
|d 1995 :
|c Paderborn, Germany)
|
| 245 |
1 |
0 |
|a Computer science logic :
|b 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
|c Hans Kleine Büning, (ed.)
|
| 246 |
3 |
0 |
|a CSL '95.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1996.
|
| 300 |
|
|
|a viii, 485 p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 1092.
|
| 500 |
|
|
|a CSL'95 was the fourth to be held as the Annual Conference of the EACSL.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Computer logic
|x Congresses.
|
| 700 |
1 |
|
|a Kleine Büning, H.
|q (Hans)
|
| 710 |
2 |
|
|a European Association for Computer Science Logic.
|b Conference
|n (4th :,
|d 1995 :
|c Paderborn, Germany)
|
| 852 |
8 |
|
|b CARM
|h A2:AL21B0
|i B05662
|p 0239792
|f BK
|
| 999 |
f |
f |
|i 2ca0b476-b885-51f2-8ec2-e4caa794c9bc
|s 313e1cd6-c36d-5fa5-bb37-b33ed0e546be
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B05662
|f A2:AL21B0
|h Other scheme
|i book
|m 0239792
|