Higher order logic theorem proving and its applications

Detaylı Bibliyografya
Diğer Yazarlar: Claesen, Luc J M (Editör)
Materyal Türü: Printed Book
Baskı/Yayın Bilgisi: North-Holland Publishing Co., Amsterdam 1993
Konular:
Computer programming

Benzer Materyaller