Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
Saved in:
| Andre forfattere: | |
|---|---|
| Format: | Bog |
| Sprog: | English |
| Udgivet: |
Berlin ; New York :
Springer-Verlag,
c1990.
|
| Serier: | ESPRIT basic research series ;
EUR (Series) ; 13147 EN. |
| Fag: |
| LEADER | 01288nam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | c000019733 | ||
| 003 | CARM | ||
| 005 | 00000000000000.0 | ||
| 008 | s1990 gw a b 10000 eng | ||
| 019 | 1 | |a 8190957 |z 21873843 |z 45164626 |5 LACONCORD2021 | |
| 020 | |a 0387534377 (Springer-Verlag New York Berlin Heidelberg) | ||
| 020 | |a 3540534377 (Springer-Verlag Berlin Heidelberg New York) | ||
| 035 | |a (OCoLC)22811660 |5 LACONCORD2021 | ||
| 050 | 0 | 0 | |a QA76.9.A96 |b C654 1990 |
| 082 | 0 | 0 | |a 004/.01/51 |2 20 |
| 245 | 0 | 0 | |a Computational logic : |b symposium proceedings, Brussels, November 13/14, 1990 / |c J.W. Lloyd (ed.). |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1990. | ||
| 300 | |a ix, 211 p. : |b ill. ; |c 25 cm. | ||
| 440 | 0 | |a ESPRIT basic research series ; | |
| 490 | 1 | |a EUR ; |v 13147 EN | |
| 504 | |a Includes bibliographical references. | ||
| 650 | 0 | |a Automatic theorem proving |x Congresses. | |
| 650 | 0 | |a Logic, Symbolic and mathematical |x Congresses. | |
| 700 | 1 | |a Lloyd, J. W. |q (John Wylie), |d 1947- | |
| 830 | 0 | |a EUR (Series) ; |v 13147 EN. | |
| 852 | 8 | |b CARM |h A2:AI03F0 |i C04051 |p 0095881 |f BK | |
| 999 | f | f | |i 2c2dbae3-32c7-52b9-85bd-d1f91224b609 |s d4057b62-3e27-5c5a-b16c-ddf9c899c762 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C04051 |f A2:AI03F0 |h Other scheme |i book |m 0095881 |