语系
Vaananen, Jouko.
概要
作品: | 3 作品在 1 项出版品 1 种语言 |
---|
书目信息
Dependence Logic :[electronic resource].A New Approach to Independence Friendly Logic.
by:
Ebooks Corporation.; Vaananen, Jouko.
(书目-语言数据,印刷品)
Logic, language, information, and computation[electronic resource] :23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
by:
Clark Conference ((2005 :); Hirvonen, Asa.; Queiroz, Ruy de.; SpringerLink (Online service); Vaananen, Jouko.
(书目-电子资源)