| 000 | 01235cam a2200385 i 4500 | ||
|---|---|---|---|
| 001 | u125200 | ||
| 003 | SIRSI | ||
| 005 | 20240619150643.0 | ||
| 008 | 101008t20112011nju b 001 0 eng | ||
| 020 |
_a9780470527016 _q(hardback) |
||
| 020 | _a9781118010877 | ||
| 020 | _a9781118010846 | ||
| 020 | _a9781118010860 | ||
| 040 |
_beng _erda _dSFPAGOH |
||
| 050 | 1 | 4 |
_aQA162 _b.P68 2011 |
| 100 | 1 |
_aPouly, Marc. , _eauthor _940343 |
|
| 245 | 1 | 0 |
_aGeneric Inference : _ba unifying theory for automated reasoning / _cMarc Pouly, Jurg Kohlas. |
| 264 | 1 |
_aHoboken, NJ : _bWiley, _c2011. |
|
| 264 | 1 | _c©2011 | |
| 300 |
_axxxi, 452 pages ; _c25 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 504 | _aincludes index and bibliographical reference | ||
| 596 | _a1 4 | ||
| 650 | 0 |
_aValuation theory. _940344 |
|
| 650 | 0 |
_aAlgorithms. _92934 |
|
| 650 | 0 |
_aAlgebra, Abstract. _92370 |
|
| 700 | 1 |
_aKohlas, Jurg. _940345 _eauthor |
|
| 907 |
_a.b10586921 _b28-10-21 _c06-04-21 |
||
| 998 |
_am _b08-10-10 _cm _da _e- _feng _gnju _h0 |
||
| 999 |
_c50020 _d50020 |
||