馆藏书目查询系统 - 上海图书馆

Author Results for Galmiche, Didier, 1958-,

Cover is for reference only

Automated reasoning with analytic tableaux and related methods：International Conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997 : proceedings

Corporate Authors: TABLEAUX '97 (1997 Pont-a-Mousson)
Group Author: Galmiche Didier, 1958-
Published: Springer,
Publication Dates: c1997.
Call Number: TP18-532/A939.1/1997/

Book

Cover is for reference only

Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /

Corporate Authors: TABLEAUX (Conference) Nancy, France); SpringerLink (Online service)
Group Author: Galmiche, Didier, 1958-; Larchey-Wendling, Dominique
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search