|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
621791 |
| 003 |
ICU |
| 005 |
19950902000000.0 |
| 008 |
840816s1984 wb b 10010 eng u |
| 010 |
|
|
|a 84005441
|
| 020 |
|
|
|a 0387960228 (U.S. :
|b pbk.)
|
| 035 |
|
|
|a (ICU)BID8181569
|
| 035 |
|
|
|a (OCoLC)10697234
|
| 039 |
0 |
|
|a 2
|b 3
|c 3
|d 3
|e 3
|
| 040 |
|
|
|a DLC
|c DLC
|d ICU
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a QA76.9.A96
|b C66 1984
|
| 082 |
0 |
|
|a 511.3
|2 19
|
| 111 |
2 |
|
|a International Conference on Automated Deduction
|n (7th :
|d 1984 :
|c Napa, Calif.)
|1 http://viaf.org/viaf/127343229
|
| 245 |
1 |
0 |
|a Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 :
|b proceedings /
|c edited by R.E. Shostak.
|
| 260 |
0 |
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c 1984.
|
| 300 |
|
|
|a vi, 508 p. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Lecture notes in computer science
|v 170
|
| 504 |
|
|
|a Includes bibliographies.
|
| 650 |
|
0 |
|a Automatic theorem proving
|x Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2007101477
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|x Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008107112
|
| 650 |
|
7 |
|a Automatic theorem proving.
|2 fast
|0 http://id.worldcat.org/fast/fst00822777
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 http://id.worldcat.org/fast/fst01423772
|
| 700 |
1 |
0 |
|a Shostak, Robert,
|d 1931-
|0 http://id.loc.gov/authorities/names/n79009124
|1 http://viaf.org/viaf/93707030
|
| 740 |
0 |
1 |
|a 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984.
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 32095bb0-72e2-51b8-a5eb-d5dc2cfef7ed
|s e0c69342-67d2-59aa-9314-744668afd3ba
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.9.A96C660 1984
|l ASR
|c ASR-SciASR
|i 1521573
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.9.A96C660 1984
|l ASR
|c ASR-SciASR
|e CRERAR
|b 23050508
|i 1614193
|
