1 research outputs found
Theories equationnelles et de contraintes pour la demonstration automatique en logique multi-modale
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82205 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc