000 | 00746nam a2200241zi 4500 | ||
---|---|---|---|
005 | 20220303112409.0 | ||
008 | 960617m19929999ge 000 0 eng | ||
020 | _a3540559264 | ||
020 | _a3-540-64507-1 | ||
035 | _aMX001000634787 | ||
050 | 1 | 4 |
_aQA9.45 _bB65 |
100 | 1 |
_aBolc, Leonard, _d1934-, _eautor |
|
245 | 1 | 0 |
_aMany-valued logics / _cLeonard Bolc, Piotr Borowik |
264 | 1 |
_aBerlin : _bSpringer Verlag, _c1992-9999 |
|
300 | _avolúmenes | ||
505 | 1 | _aContenido: 2. Automated reasoning and practical applications | |
650 | 4 | _aLógica multivalente | |
700 | 1 |
_aBorowik, Piotr, _eautor |
|
336 |
_atexto _2rdacontent |
||
337 |
_asin medio _2rdamedia |
||
338 |
_avolumen _2rdacarrier |
||
999 |
_c1345 _d1345 |