| 000 | 02453nas a2200529 a 4500 | ||
|---|---|---|---|
| 001 | ssj0003109 | ||
| 003 | WaSeSS | ||
| 005 | 20200818174916.0 | ||
| 006 | m d | ||
| 007 | cr n | ||
| 008 | 980126c19859999ne bx pss 0 a0eng c | ||
| 010 | _a 2004229180 | ||
| 016 | 7 |
_a1479376-3 _2DE-600 |
|
| 016 | 7 |
_a012433684 _2Uk |
|
| 022 |
_a1573-0670 _l0168-7433 _y0168-7433 |
||
| 035 | _a(WaSeSS)ssj0003109 | ||
| 040 |
_aF#A _beng _epn _cF#A _dOCL _dOCLCQ _dMUQ _dOCLCQ _dFUG _dOCLCQ _dOCL _dMYG _dOCLCQ _dOCLCO _dOCLCQ _dBUF _dOCLCF _dOCLCO _dOCLCQ _dEZC _dUKMGB _dDLC _dVT2 _dNJT _dUBY _dWaSeSS |
||
| 042 | _apcc | ||
| 050 | 0 | 0 | _aQA76.9.A96 |
| 082 | 0 | 4 | _a511.3 |
| 130 | 0 | _aJournal of automated reasoning (Online) | |
| 245 | 1 | 0 |
_aJournal of automated reasoning _h[electronic resource]. |
| 260 |
_3Dordrecht : _bKluwer Academic Publishers |
||
| 260 | 3 |
_3Oct. 2004- : _aNetherlands : _bSprigner Netherlands |
|
| 310 |
_aEight issues yearly, _b2009- |
||
| 321 |
_aBimonthly, _b-2008 |
||
| 362 | 1 | _aBegan with Vol. 1, issue 1, (Mar. 1985). | |
| 506 | _aLicense restrictions may limit access. | ||
| 515 | _aSome issues combined. | ||
| 538 | _aMode of access: World Wide Web. | ||
| 588 | 0 | _aVol. 1, issue 1, (Mar. 1985); title from journal information screen (viewed Jan. 25, 1998). | |
| 588 | 1 | _aVol. 61, issue 1/4 (June 2018) (Springer Lnk, viewed Nov. 28, 2018). | |
| 650 | 0 |
_aAutomatic theorem proving _vPeriodicals. |
|
| 650 | 0 |
_aArtificial intelligence _vPeriodicals. |
|
| 650 | 0 |
_aLogic programming _vPeriodicals. |
|
| 650 | 6 |
_aTh�eor�emes _xD�emonstration automatique _vP�eriodiques. |
|
| 650 | 6 |
_aIntelligence artificielle _vP�eriodiques. |
|
| 650 | 6 |
_aProgrammation logique _vP�eriodiques. |
|
| 650 | 7 |
_aArtificial intelligence. _2fast _0(OCoLC)fst00817247 |
|
| 650 | 7 |
_aAutomatic theorem proving. _2fast _0(OCoLC)fst00822777 |
|
| 650 | 7 |
_aLogic programming. _2fast _0(OCoLC)fst01002056 |
|
| 655 | 0 | _aElectronic journals. | |
| 776 | 0 | 8 |
_iPrint version: _tJournal of automated reasoning _x0168-7433 _w(DLC)sf 93093541 _w(OCoLC)11936798 |
| 856 | 4 | 0 |
_zFull text available from Engineering Database: 02/01/1997 to 12/31/2015 _uhttps://libproxy.firstcity.edu.my:8443/login?url=https://search.proquest.com/publication/2028908 |
| 856 | 4 | 0 |
_zFull text available from Engineering Database: 01/01/2019 to 1 year ago _uhttps://libproxy.firstcity.edu.my:8443/login?url=https://search.proquest.com/publication/2028908 |
| 999 |
_c22488 _d22488 |
||