Many-valued logics /
Bolc, Leonard, 1934-,
Many-valued logics / Leonard Bolc, Piotr Borowik - volúmenes
Contenido: 2. Automated reasoning and practical applications
3540559264 3-540-64507-1
Lógica multivalente
QA9.45 / B65
Many-valued logics / Leonard Bolc, Piotr Borowik - volúmenes
Contenido: 2. Automated reasoning and practical applications
3540559264 3-540-64507-1
Lógica multivalente
QA9.45 / B65