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