1
Publicat 2010
Taula de continguts: ... Services in Semantic Nets with Multiple Concept Relations -- General-Purpose Computing on a Semantic...
Obtenir text complet
Electrònic eBook
2
Publicat 2015
Taula de continguts: ... for Proof Theory; Detlefsen, Michael -- Inferential Semantics; Došen, Kosta -- Cut elimination, substitution...
Obtenir text complet
Electrònic eBook