Ruy J G B de Queiroz – författare

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

4 produkter

1. 

   Computational Paths. The Calculus of Equality

   Av Arthur Freitas Ramos, Ruy J G B de Queiroz m. fl.

   Häftad, 2026

   459 kr

   Lägg i varukorg

2. 

   Logic, Language, Information, and Computation

   28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings

   Av Agata Ciabattoni, Elaine Pimentel m. fl.

   Häftad, 2022

   709 kr

   Lägg i varukorg

3. 

   Logic, Language, Information, and Computation

   21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

   Av Ulrich Kohlenbach, Pablo Barceló m. fl.

   Häftad, 2014

   699 kr

   Lägg i varukorg

4. 

   FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE

   Av Ruy J G B de Queiroz, Anjolina G de Oliveira m. fl.

   Inbunden, 2011

   2009 kr

   Lägg i varukorg