Telco network inventory validation with NoHR

DOI10.1007/978-3-030-20528-7_2OpenAlexW2946419582MaRDI QIDQ2326708

Matthias Knorr, José Júlio Alferes, Ioannis Gerochristos, Vedran Kasalica, Ana Sofia Gomes, João Leite

Publication date: 10 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-20528-7_2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Uses Software

• NoHR

This page was built for publication: Telco network inventory validation with NoHR