Some Research Issues in Higher Order Logic Theorem Proving

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Melham, T
Формат: Report
Хэвлэсэн: Department of Computer Science‚ University of Aarhus 1996