Hoppa till sidans huvudinnehåll

Ruy J G B de Queiroz – författare

Visar alla böcker från författaren .
4 produkter
Arthur Freitas Ramos, Ruy J G B de Queiroz, Anjolina Grisi de Oliveira - Computational Paths. The Calculus of Equality, Häftad

Computational Paths. The Calculus of Equality

AvArthur Freitas Ramos,Ruy J G B de Queirozm. fl.

Häftad, Engelska, 2026

439 kr

Skickas inom 5-8 vardagar

Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz - Logic, Language, Information, and Computation, Häftad
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

709 kr

Skickas inom 10-15 vardagar

Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz - Logic, Language, Information, and Computation, Häftad

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

699 kr

Skickas inom 10-15 vardagar

Anjolina G De Oliveira, Dov M Gabbay, Ruy J G B De Queiroz - Functional Interpretation Of Logical Deduction, The, Inbunden
Del 5 - Advances In Logic

Functional Interpretation Of Logical Deduction, The

AvAnjolina G De Oliveira,Dov M Gabbaym. fl.

Inbunden, Engelska, 2011

1 949 kr

Skickas inom 5-8 vardagar