Languages
de Paiva, Valeria.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
de Paiva, Valeria.; Leivant, Daniel.; SpringerLink (Online service); Moss, Lawrence S.; de Oliveira, Anjolina G.; de Queiroz, Ruy.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Advances in natural deduction = a celebration in Dag Prawitz's work /
by:
Haeusler, Edward Hermann.; de Paiva, Valeria.; SpringerLink (Online service); Pereira, Luiz Carlos.
(Language materials, printed)