| 000 | 01364pam a2200313 a 4500 | ||
|---|---|---|---|
| 001 | 1652733 | ||
| 003 | BD-DhUL | ||
| 005 | 20140805105347.0 | ||
| 008 | 970501s1997 gw 100 0 eng | ||
| 010 | _a 97017154 | ||
| 020 | _a3540629637 | ||
| 040 |
_aDLC _cDLC _dDLC _dBD-DhUL |
||
| 050 | 0 | 0 |
_aQA75.5 _b.L63 1997 |
| 082 | 0 | 0 |
_a005.1015113 _221 _bLOG |
| 245 | 0 | 0 |
_aLogic of computation / _cedited by Helmut Schwichtenberg. |
| 260 |
_aBerlin ; _aNew York : _bSpringer, _cc1997. |
||
| 300 |
_avi, 394 p. ; _c24 cm. |
||
| 440 | 0 |
_aNATO ASI series. _nSeries F, _pComputer and systems sciences ; _vno. 157 |
|
| 500 | _aProceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995. | ||
| 504 | _aIncludes bibliographical references (p. ). | ||
| 650 | 0 |
_aComputer science _xCongresses. |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical _xCongresses. |
|
| 700 | 1 |
_aSchwichtenberg, Helmut, _d1955- |
|
| 711 | 2 |
_aNATO Advanced Study Institute on Logic of Computation _d(1995 : _cMarktoberdorf, Germany) |
|
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0902/97017154-d.html |
| 906 |
_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 955 | _apc03 to ja00 05-01-97; jf03 to Subj. 05-02-97; jf11 to sl 05-03-97;jf12 05-06-97; CIP ver. jf05 to sl 09/02/97 | ||
| 999 |
_c766 _d766 |
||