1
by Bilistein, Charles-Léopold Andreu
Published 1762
Chez H. Constapel
Subjects: ...Nancy (France) / Economic conditions...

12
Published 1996
Springer Berlin Heidelberg
... Technology, EWSPT '96, held in Nancy, France, in October 1996. The book presents 31 revised full papers...

13
Published 1984
Springer Berlin Heidelberg
..., 1983 in Nancy, France. This topic in­ cluded instrumentation for steam-water and liquid-vapor flows...

16
Published 1997
Springer Berlin Heidelberg
... Conference on Logical Aspects of Computational Linguistics, LACL '96, held in Nancy, France in April 1996...

18
Published 1994
Springer Berlin Heidelberg
... on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected...

20
Published 2016
Springer International Publishing
... Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers...