Constraints in computational logics first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

Detaylı Bibliyografya
Diğer Yazarlar: Jouannaud, Jean-Pierre
Materyal Türü: Kitap
Baskı/Yayın Bilgisi: Berlin Springer-Verlag c1994.
Seri Bilgileri:Lecture notes in computer science 845
Konular: