|
|
|
|
| LEADER |
01468nam a2200325 a 4500 |
| 001 |
c000162123 |
| 003 |
CARM |
| 005 |
19940207000000.0 |
| 008 |
940202s1994 gw a b 101 0 eng |
| 010 |
|
|
|a 94001560
|
| 019 |
1 |
|
|a 10767616
|5 LACONCORD2021
|
| 020 |
|
|
|a 3540578269
|b (Berlin : acid-free paper) :
|c DM96,-
|
| 020 |
|
|
|a 0387578269
|b (New York : acid-free paper)
|
| 035 |
|
|
|a (OCoLC)29844349
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|
| 050 |
0 |
0 |
|a QA76.9.A96
|b H54 1994
|
| 082 |
0 |
4 |
|a 004/.01/5113
|2 20
|
| 245 |
0 |
0 |
|a Higher order logic theorem proving and its applications :
|b 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
|c Jeffrey J. Joyce, Carl-Johan H. Seger, eds.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1994.
|
| 300 |
|
|
|a ix, [518] p. :
|b ill. ;
|c 24 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 780.
|
| 500 |
|
|
|a Papers presented at the 1993 HOL User's Group Workshop.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Automatic theorem proving
|v Congresses.
|
| 700 |
1 |
|
|a Joyce, Jeffrey J.,
|d 1960-
|
| 700 |
1 |
|
|a Seger, Carl-Johan H.
|
| 711 |
2 |
|
|a HOL User's Group Workshop
|n (6th :,
|d 1993 :
|c Vancouver, B.C.)
|
| 852 |
8 |
|
|b CARM
|h A2:AM09F0
|i C05507
|p 0213971
|f BK
|
| 999 |
f |
f |
|i 5761b13d-8e8e-592d-bec2-5286fa92cac7
|s b924e517-a92d-5d32-91ba-6b6935ee2d10
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05507
|f A2:AM09F0
|h Other scheme
|i book
|m 0213971
|