|
|
|
|
| LEADER |
00000cam a2200000 4500 |
| 001 |
3365187 |
| 003 |
ICU |
| 005 |
20030526130000.0 |
| 008 |
980728s1998 ne a b 001 0 eng d |
| 020 |
|
|
|a 0792351290 (v. 1)
|
| 020 |
|
|
|a 0792351304 (v. 2)
|
| 020 |
|
|
|a 0792351312 (v. 3)
|
| 020 |
|
|
|a 0792351320 (set)
|
| 035 |
|
|
|a (NhCcYBP)YBTybp90019288
|
| 035 |
|
|
|a (NhCcYBP)YBP98278174604
|
| 040 |
|
|
|a NhCcYBP
|c NhCcYBP
|d OCoLC
|
| 050 |
|
4 |
|a QA76.9.A96
|b A98 1998
|
| 245 |
0 |
0 |
|a Automated deduction--a basis for applications.
|
| 260 |
|
|
|a Dordrecht ;
|a Boston :
|b Kluwer Academic Publishers,
|c c1998.
|
| 300 |
|
|
|a 3 v. ;
|c 25 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 Applied logic series
|v v.8-10
|
| 650 |
|
0 |
|a Automatic theorem proving.
|0 http://id.loc.gov/authorities/subjects/sh85010111
|
| 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
|
| 700 |
1 |
|
|a Bibel, Wolfgang.
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)40744546
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 566a0699-01b2-529c-89e9-e1d5f21aaecf
|s 9c0af8f3-1c1b-55cd-82f1-1813cbdc1b1f
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.9.A96A98 1998
|l JCL
|c JCL-Sci
|i 420939
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.9.A96A98 1998
|v v.3
|l JCL
|c JCL-Sci
|e CRERAR
|b 48459778
|i 5749701
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.9.A96A98 1998
|v v.2
|l JCL
|c JCL-Sci
|e CRERAR
|b 48459761
|i 5749700
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.9.A96A98 1998
|v v.1
|l JCL
|c JCL-Sci
|e CRERAR
|b 48459754
|i 5749699
|
