Jump to main content

yr 〜
yr

Search results 6

Computer aided verification : 13th international conference, CAV 2001 : Paris, France, July 18-22, 2001 : proceedings. : Jul 2001, Paris, France. (Lecture Notes in Computer Science ; 2102)

Computer aided verification : 13th international conference, CAV 2001 : Paris, France, July 18-22, 2001 : proceedings. : Jul 2001, Paris, France. (Lecture Notes in Computer Science ; 2102)
Paper図書
Springer2001.<M17-03-4709>
National Diet Library
  • Author HeadingBerry, Gérard. Comon, Hubert. Finkel, A. CAV (Conference) (...

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, eds. (Lecture notes in computer science)

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, eds. (Lecture notes in computer science)
Paper図書
Springer Verlagc1995.<M15-A9646>
National Diet Library
  • Author Heading...Romeu, France) Comon, Hubert. Jouannaud, Jean-Pierre.

Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Paper図書
Gérard Berry, Hubert Comon, Alain Finkel (eds.)Springerc2001
Other Libraries in Japan

Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures

Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures
Digital図書
Hubert Comon, Claude Marché, Ralf Treinen (eds.)Springer1899
Other Libraries in Japan

Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings : pbk

Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings : pbk
Paper図書
Hubert Comon (ed.)Springerc1997
Other Libraries in Japan

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course : Berlin : New York

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course : Berlin : New York
Paper図書
Hubert Comon, Jean-Pierre Jouannaud, (eds.)Springer Verlagc1995
Other Libraries in Japan

Reached to the end of result.

RSS