Title: Edinburgh LCF
Subjects: Computable functions, Data processing, Edinburgh LCF (Computer system), United States, United States. Continental Congress, Electronic digital computers, programming, Hamiltonian systems, Many-body problem, Mathematical analysis, Mathematical & computational, Mathematics & statistics -> mathematics -> mathematics general, Physical & earth sciences -> physics -> mathematical physics, Scp19005, Scm1204x, Suco11649, Scm12007