Saila
FILOSOFÍA, LÓGICA Y ESTÉTICA
Biltzar ekarpenak (1) Ikertzaileren baten partaidetza izan duten argitalpenak
2019
-
Rigid First-Order Hybrid Logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)