Journal on Satisfiability, Boolean Modeling and Computation1613 (ISSN : 1574-0617)Published by IOS Presshttp://jsat.ewi.tudelft.nl/

SHERPA/RoMEO

Voir les documents associés 

Exporter

• Export XML
• Export RDF