Search results for: Martin D. F. Wong
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2016 > 35 > 11 > 1862 - 1875
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2016 > 35 > 7 > 1053 - 1066
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Knowledge Representation and Non-monotonic Reasoning > 822-836