Tra từ LCF - Từ điển Máy Tính

History Search

Từ điển Máy Tính - Foldoc Dictionary

lcf Logic for Computable Functions (language) (LCF) Part of the Edinburgh proof assistant. [What is it? Address?] Last updated: 1995-01-06