|
|
|
|
| LEADER |
00582 a2200157 4500 |
| 008 |
090303t xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9 780521 432191
|
| 100 |
|
|
|a Andrews, James H
|9 7947
|
| 245 |
|
|
|a Logic programming: operational semantics and proof theory
|c James H Andrews
|
| 260 |
|
|
|a Camgridge
|b Cambridge University press
|c 1992
|
| 300 |
|
|
|a xi, 104p.
|
| 650 |
|
|
|a Programming language and semantics
|9 1623
|
| 700 |
|
|
|a Andrews, James H
|9 1624
|
| 942 |
|
|
|2 ddc
|c BK
|6 _
|
| 999 |
|
|
|c 84538
|d 84538
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 _
|7 0
|9 105492
|a DCA
|b DCA
|d 2009-03-03
|p CA001000
|r 2009-03-03
|w 2009-03-03
|y BK
|