000 | 03008nam a22005535i 4500 | ||
---|---|---|---|
001 | 978-3-540-47638-2 | ||
003 | DE-He213 | ||
005 | 20160624102025.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s1993 gw | s |||| 0|eng d | ||
020 |
_a9783540476382 _9978-3-540-47638-2 |
||
024 | 7 |
_a10.1007/3-540-56732-1 _2doi |
|
050 | 4 | _aQ334-342 | |
050 | 4 | _aTJ210.2-211.495 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aTJFM1 _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
082 | 0 | 4 |
_a006.3 _223 |
245 | 1 | 0 |
_aResolution Methods for the Decision Problem _h[electronic resource] / _cedited by C. Fermüller, A. Leitsch, T. Tammet, N. Zamov. |
260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1993. |
|
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1993. |
|
300 |
_aXII, 236 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, _x0302-9743 ; _v679 |
|
505 | 0 | _aTerminology -- Semantic clash resolution as decision procedure -- Completeness of ordering refinements -- Semantic tree based resolution variants -- Deciding the class K by an ordering refinement -- A resolution based method for building finite models -- Applications. | |
520 | _aThis volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aLogic, Symbolic and mathematical. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aMathematical Logic and Foundations. |
700 | 1 |
_aFermüller, C. _eeditor. |
|
700 | 1 |
_aLeitsch, A. _eeditor. |
|
700 | 1 |
_aTammet, T. _eeditor. |
|
700 | 1 |
_aZamov, N. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783540567325 |
786 | _dSpringer | ||
830 | 0 |
_aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, _x0302-9743 ; _v679 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/3-540-56732-1 |
942 |
_2EBK6138 _cEBK |
||
999 |
_c35432 _d35432 |