Abstract
Ferguson, TM
Ferguson, TM (通讯作者),Univ Amsterdam, Inst Log Language & Computat, Amsterdam, Netherlands.;Ferguson, TM (通讯作者),Univ St Andrews, Arche Res Ctr, St Andrews, Fife, Scotland.
2022 IEEE 52ND INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2022), 2022; (): 106