|
|
|
|
| LEADER |
00670nz a2200181n 4500 |
| 001 |
xx0047297 |
| 003 |
CZ PrNK |
| 005 |
20070327140859.0 |
| 008 |
060628|n|acnnnaabn | a|a |
| 040 |
|
|
|a ABA013
|b cze
|
| 100 |
1 |
|
|a Jackson, Paul B.,
|d 1962-
|7 xx0047297
|
| 670 |
|
|
|a Boulton, R. J. - Jackson, P. B: Theorem proving in high order logics: 14th international conference, TPHOLs 2001
|
| 670 |
|
|
|a LC (Names)
|b datum narození
|
| 678 |
0 |
|
|a Editor sborníku konference, publikuje v oboru matematická logika.
|
| 906 |
|
|
|a za20060628
|b xrari
|
| 906 |
|
|
|a fr20070327
|b veja
|
| 950 |
0 |
|
|a definitivní
|
| 998 |
|
|
|a http://aleph.nkp.cz/F/?func=direct&doc_number=000350030&local_base=AUT
|
