Jacques Calmet

Publication Activity (10 Years)

Years Active: 1974-2017
Publications (10 Years): 1

Top Topics

Computer Algebra

Theorem Proving

Propositional Knowledge Base

Top Venues

Ann. Math. Artif. Intell.

Int. J. Decis. Support Syst. Technol.

Int. J. Comput. Sci. Appl.

Publications