| 000 | 00891nam a2200241zi 4500 | ||
|---|---|---|---|
| 005 | 20220221131546.0 | ||
| 008 | 050414s2004 gw a 100 0 eng d | ||
| 020 | _a3540221743 | ||
| 035 | _aMX001001020696 | ||
| 040 |
_aUNAMX _bspa _cUNAMX _dUNAMX |
||
| 050 | 1 | 4 |
_aQA76.63 _bI58 2004 |
| 111 | 2 |
_aLOPSTR 2003 _d(2003 : _cUppsala, Suecia) |
|
| 245 | 1 | 0 |
_aLogic based program synthesis and transformation : _b13th international symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / _cMaurice Bruynooghe, ed. |
| 246 | 3 | 0 | _aLOPSTR 2003 |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2004 |
|
| 300 |
_a232 páginas : _bilustraciones |
||
| 650 | 4 |
_aProgramación lógica _vCongresos |
|
| 700 | 1 |
_aBruynooghe, Maurice, _eeditor |
|
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c16270 _d16270 |
||