語系
de Paiva, Valeria.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)