Ruy J G B de Queiroz – författare

Visar alla böcker från författaren Ruy J G B de Queiroz. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   Computational Paths. The Calculus of Equality

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

   Häftad, 2026

   350 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

   552 kr

   Lägg i varukorg

   Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 …

3. 

   Logic, Language, Information, and Computation

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

   Av Ruy J. G. B. de Queiroz, Elaine Pimentel m. fl.

   E-bok, 2022

   718 kr

   Lägg i varukorg

   Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 …

4. 

   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

   546 kr

   Lägg i varukorg

   Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers …

5. 

   Logic, Language, Information, and Computation

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

   Av Ruy J G B de Queiroz, Pablo Barcelo m. fl.

   E-bok, 2014

   672 kr

   Lägg i varukorg

   Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers …

6. 

   FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE

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

   Inbunden, 2011

   1542 kr

   Lägg i varukorg

   This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched’ system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and …