LMCS - Logical Methods in Computer Science1692 (EISSN : 1860-5974)Published by Logical Methods in Computer Science Associationhttps://lmcs.episciences.org/SHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF