| 000 | 02812nam a2200805 u 4500 | ||
|---|---|---|---|
| 001 | 180285211 | ||
| 003 | DE-627 | ||
| 005 | 20231009150102.0 | ||
| 007 | tu | ||
| 008 | 950120s1995 xxu||||| 00| ||eng c | ||
| 016 | 7 |
_a943321654 _2DE-101 |
|
| 020 |
_a3764338016 _c ((Basel ...) _93-7643-3801-6 |
||
| 020 |
_a0817638016 _c : sfr 88.00 ((Boston) _90-8176-3801-6 |
||
| 035 | _a(DE-627)180285211 | ||
| 035 | _a(DE-576)044035721 | ||
| 035 | _a(DE-599)GBV180285211 | ||
| 035 | _a(OCoLC)844982626 | ||
| 035 | _a(OCoLC)31166605 | ||
| 035 | _a(ZBM)0827.03004 | ||
| 035 | _a(DE-604)810087021x | ||
| 035 | _a(ZBM)0827.03004 | ||
| 040 |
_aDE-627 _bger _cDE-627 _erakwb |
||
| 041 | _aeng | ||
| 044 |
_cXD-US _cXA-CH _cXA-DE |
||
| 050 | 0 | _aQA9.5 | |
| 084 |
_a28 _2sdnb |
||
| 084 |
_aSK 130 _2rvk _0(DE-625)rvk/143216: |
||
| 084 |
_a*03B40 _2msc |
||
| 084 |
_a08A70 _2msc |
||
| 084 |
_a68Q05 _2msc |
||
| 084 |
_a03-02 _2msc |
||
| 084 |
_a68-02 _2msc |
||
| 084 |
_a03G25 _2msc |
||
| 084 |
_a68W30 _2msc |
||
| 084 |
_a03C05 _2msc |
||
| 084 |
_a00B15 _2msc |
||
| 084 |
_a68N15 _2msc |
||
| 084 |
_a54.71 _2bkl |
||
| 084 |
_a54.10 _2bkl |
||
| 084 |
_a31.12 _2bkl |
||
| 092 | _aSa 18 | ||
| 245 | 1 | 4 |
_aThe combinatory programme _cErwin Engeler in collab. with K. Aberer ... |
| 264 | 1 |
_aBoston [u.a.] _bBirkhäuser _c1995 |
|
| 300 |
_a142 S _bgraph. Darst _c25 cm |
||
| 336 |
_aText _btxt _2rdacontent |
||
| 337 |
_aohne Hilfsmittel zu benutzen _bn _2rdamedia |
||
| 338 |
_aBand _bnc _2rdacarrier |
||
| 490 | 1 |
_aProgress in theoretical computer science _v15 |
|
| 500 | _aLiteraturangaben | ||
| 650 | 0 | _aCombinatory logic | |
| 650 | 0 | _aCombinatory logic | |
| 653 |
_sComputeralgebra _9208888098 |
||
| 653 |
_sKombinatorische Logik _9209890614 |
||
| 689 | 0 | 0 |
_Ds _0(DE-588)4010449-7 _0(DE-627)10441927X _0(DE-576)208888098 _aComputeralgebra _2gnd |
| 689 | 0 | 1 |
_Ds _0(DE-588)4164750-6 _0(DE-627)105445134 _0(DE-576)209890614 _aKombinatorische Logik _2gnd |
| 689 | 0 | _5DE-101 | |
| 700 | 1 |
_aEngeler, Erwin _eHrsg. _0(DE-627)123086606X _0(DE-576)160866065 _4edt _952836 |
|
| 800 | _v15 | ||
| 830 | 0 |
_aProgress in theoretical computer science _w(DE-627)165680733 _w(DE-576)041906314 _w(DE-600)1162643-4 _7ns _v15 |
|
| 856 | 4 | 2 |
_uhttps://zbmath.org/?q=an:0827.03004 _mB:ZBM _v2021-04-12 _yZentralblatt MATH _3Inhaltstext |
| 889 | _w(DE-627)277842476 | ||
| 935 | _iBlocktest | ||
| 936 | r | v |
_aSK 130 _bLogik und Grundlagen, Metamathematik, _kMonografien _kLogik und Grundlagen, Metamathematik, _0(DE-627)1270918567 _0(DE-625)rvk/143216: _0(DE-576)200918567 |
| 936 | b | k |
_a54.71 _jLogikprogrammierung _0(DE-627)106418912 |
| 936 | b | k |
_a54.10 _jTheoretische Informatik _0(DE-627)106418815 |
| 936 | b | k |
_a31.12 _jKombinatorik _jGraphentheorie _0(DE-627)106418963 |
| 942 | _cBOOK | ||
| 951 | _aBO | ||
| 999 |
_c25515 _d25515 |
||