| 000 | 02722cam a2200589Mi 4500 | ||
|---|---|---|---|
| 001 | ocn150395052 | ||
| 003 | OCoLC | ||
| 005 | 20250703143511.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 060821s1980 gw a ob 100 0 eng d | ||
| 040 |
_aNLGGC _beng _epn _cNLGGC _dOCLCO _dCUSER _dMEMOS _dCUS _dGW5XE _dOCLCQ _dOCLCF _dOCLCO _dCOO _dVT2 _dOCL _dOCLCO _dOCLCQ _dOCLCO _dOCLCQ _dUAB _dESU _dOCLCQ _dLHU _dOCLCQ _dOCLCO _dOCLCQ _dOCLCO _dOCLCL |
||
| 019 |
_a326958814 _a466134542 _a1063783877 |
||
| 020 |
_a9783540381402 _q(electronic bk.) |
||
| 020 |
_a3540381406 _q(electronic bk.) |
||
| 020 | _z3540100091 | ||
| 020 | _z9783540100096 | ||
| 029 | 0 |
_aNLGGC _b296848700 |
|
| 029 | 1 |
_aAU@ _b000057633560 |
|
| 029 | 1 |
_aNZ1 _b15296923 |
|
| 035 |
_a(OCoLC)150395052 _z(OCoLC)326958814 _z(OCoLC)466134542 _z(OCoLC)1063783877 |
||
| 037 |
_a3540100091 _b00024965 |
||
| 050 | 4 | _aQA76.9.A96 | |
| 082 | 0 | 4 | _a511.3 |
| 084 |
_a54.71 _2bcl |
||
| 049 | _aMAIN | ||
| 245 | 0 | 0 |
_a5th Conference on automated deduction : _bLes Arcs, France, July 8-11, 1980 / _ced. by W. Bibel and R. Kowalski. |
| 260 |
_aBerlin : _bSpringer-Verlag, _c©1980. |
||
| 300 |
_a1 online resource (vii, 385 pages) : _billustrations |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aConference on automated deduction ; _v5 |
|
| 504 | _aWith bibliogr. references and index. | ||
| 650 | 0 |
_aAutomatic theorem proving _vCongresses. _914919 |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical _vCongresses. |
|
| 650 | 6 |
_aThéorèmes _xDémonstration automatique _vCongrès. _914921 |
|
| 650 | 6 |
_aLogique symbolique et mathématique _vCongrès. |
|
| 650 | 7 |
_aAutomatic theorem proving _2fast _914923 |
|
| 650 | 7 |
_aLogic, Symbolic and mathematical _2fast _91341 |
|
| 655 | 7 |
_aConference papers and proceedings _2fast _96065 |
|
| 655 | 7 |
_aCongressen (vorm) _2gtt _98970 |
|
| 700 | 1 |
_aBibel, W., _d1938- _4edt _1https://id.oclc.org/worldcat/entity/E39PBJdCvPtxHfYR7tHwcqqCwC _920857 |
|
| 700 | 1 |
_aKowalski, Robert _q(Robert A.) _4edt _920858 |
|
| 711 | 2 |
_aConference on Automated Deduction _n(5 : _d08-07-1980 - 11-07-1980 : _cLes Arcs, France) _920859 |
|
| 758 |
_ihas work: _a5th Conference on Automated Deduction (Text) _1https://id.oclc.org/worldcat/entity/E39PCGF9M8J98xw3rTjvh8hwT3 _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 776 | 0 | 8 |
_iPrint version: _t5th Conference on automated deduction _w(NL-LeOCL)802062059 _w(OCoLC)6532299 |
| 830 | 0 |
_aLecture notes in computer science ; _v87. _x1611-3349 |
|
| 830 | 0 |
_aConference on automated deduction ; _v5. _w(NL-LeOCL)863406599 _920861 |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/3-540-10009-1 |
| 994 |
_a92 _bATIST |
||
| 999 |
_c636108 _d636108 |
||