Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Logic for Computable Functions

You are here: irt.org | FOLDOC | Logic for Computable Functions

<language> (LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]

(1995-01-06)

Nearby terms: logic bomb « Logic Design Language « logic emulator « Logic for Computable Functions » logic gate » logic programming » Logic Replacement Technology

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb