| 000 | 00376 a2200121 4500 | ||
|---|---|---|---|
| 020 | _a34540550348 | ||
| 082 |
_a001.535 _bL497 |
||
| 245 | 1 |
_aLECTURE NOTES IN ARTIFICIAL INTELLIGENCE _bRESOLUTION PRINCIPAL FOR A LOGIC WITH RESTRICTED QUANTIFIERS ;V.568 _cPROCEEDING... |
|
| 260 |
_a _bSpringer-Verlag, Berlin _cc1991 |
||
| 300 | _ax,116 | ||
| 964 | _gCIRC | ||
| 997 | _aA113103 C | ||
| 999 |
_c466701 _d466701 |
||