Automated synthesis of combinational logic using problem solving techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Huy Nam Nguyen, L. Ducousso. Automated synthesis of combinational logic using problem solving techniques. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 577-582, 1989.

This author has not been identified. Look up 'Huy Nam Nguyen' in GoogleThis author has not been identified. Look up 'L. Ducousso' in Google

runs on WebDSL