| 000 | 00644nam a22001937a 4500 | ||
|---|---|---|---|
| 008 | 110324t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a3540645896 | ||
| 041 | _aeng | ||
| 082 | _a004.015113 | ||
| 245 | _aComputational logic | ||
| 260 |
_aNew York : . _bSpringer, _c 1999. |
||
| 300 |
_a444p. ; _c22 cm. |
||
| 440 |
_aSeries F,, Computer and systems sciences ;, v. 165. _914556 |
||
| 650 |
_aComputer logic. _914557 |
||
| 650 |
_aPreuve, Théorie de la -- Congrès. _914558 |
||
| 650 |
_aProjeto lógico de computadores (congressos) _914559 |
||
| 700 |
_a Berger, Ulrich _eJoint editor _914560 |
||
| 700 |
_a Schwichtenberg, Helmut _914561 |
||
| 999 |
_c239995 _d239995 |
||