Normal view MARC view ISBD view

Automated Deduction in Multiple-Valued Logics

Hahnle

Automated Deduction in Multiple-Valued Logics - Oxford University PressOxford University Press 2023

ISBN: 9781383026764

Source: EBOOK