Publication:5020971
From MaRDI portal
Pedro Cabalar, Jorge Fandinno, Brais Muñiz
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10242
68N17: Logic programming
Uses Software
Pedro Cabalar, Jorge Fandinno, Brais Muñiz
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10242
68N17: Logic programming
Uses Software