Ruy J G B de Queiroz – författare

Visar alla böcker från författaren Ruy J G B de Queiroz.

4 produkter

Kategorier

4 produkter

Computational Paths. The Calculus of Equality
AvArthur Freitas Ramos,Ruy J G B de Queirozm. fl.
Häftad, Engelska, 2026
449 kr
Skickas inom 5-8 vardagar
Del 13468
Del 13468 - Lecture Notes in Computer Science
Logic, Language, Information, and Computation
28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings
AvAgata Ciabattoni,Elaine Pimentelm. fl.
Häftad, Engelska, 2022
719 kr
Skickas inom 10-15 vardagar
Logic, Language, Information, and Computation
21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
AvUlrich Kohlenbach,Pablo Barcelóm. fl.
Häftad, Engelska, 2014
719 kr
Skickas inom 10-15 vardagar
Del 5
Del 5 - ADVANCES IN LOGIC
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE
AvRuy J G B de Queiroz,Anjolina G de Oliveiram. fl.
Inbunden, Engelska, 2011
1 959 kr
Skickas inom 5-8 vardagar