Anjolina G. de Oliveira – författare

Visar alla böcker från författaren Anjolina G. de Oliveira. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Logic, Language, Information, and Computation

   22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

   Av Valeria de Paiva, Ruy de Queiroz m. fl.

   Häftad, 2015

   456 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 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 …

2. 

   Logic, Language, Information, and Computation

   22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

   Av Anjolina G. de Oliveira, Daniel Leivant m. fl.

   E-bok, 2015

   588 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 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The …

3. 

   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 …