Ruy J. G. B. de Queiroz
Identifiers
- Open LibraryOL8042252A
Top Subjects
- Logic, symbolic and mathematical (1)
Books by Ruy J. G. B. de Queiroz
Total count: 3
-
Functional Interpretation of Logical DeductionWorld Scientific Publishing Co Pte Ltd2011-01-01
-
Logic, Language, Information, and Computation21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. ProceedingsSpringer London, Limited2014-01-01
-
Logic, Language, Information, and Computation28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, ProceedingsSpringer International Publishing AG2022-01-01