Yazar
Claude Kirchner
5 cilt bulundu.
Cilt sonuçları
Unification
Claude Kirchner · Academic Press
604 sayfa · 1991
Abstract Algebra / Fundamentele informatica / Unificatie / Abstracte algebra's / Algèbre abstraite
Rewriting, Computation and Proof
Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner · Springer London, Limited
Sayfa sayısı yok · 2007
Kategori yok
Formal to Practical Security
Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada · Springer London, Limited
Sayfa sayısı yok · 2009
Kategori yok