نتائج البحث

The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation

• Authors : Simone Martini; Martini, Simone

Subjects: Semantics of programming languages; history of programming languages; mathematical theory of computation

تفاصيل العنوان

The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation

• Authors : Martini, Simone

Subjects: Semantics of programming languages, history of programming languages, mathematical theory of computation; Data processing Computer science; InProceedings

تفاصيل العنوان

A Basis for a Mathematical Theory of Computation

• Authors : McCarthy, John

تفاصيل العنوان

A Basis for a Mathematical Theory of Computation

• Authors : McCarthy, John

تفاصيل العنوان

A Basis for a Mathematical Theory of Computation

• Authors : McCarthy, John

تفاصيل العنوان

Mathematical Theory of Computation

• Authors : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE; McCarthy, John

Subjects: Computer Programming and Software; COMPUTER PROGRAMS; COMPUTATIONS

• Source: DTIC AND NTIS

تفاصيل العنوان

Lectures on a Mathematical Theory of Computation (Mathematical Studies of Information Processing)

• Authors : SCOTT, DANA S.

Subjects: departmental bulletin paper

تفاصيل العنوان

Some Completeness Results in the Mathematical Theory of Computation

• Authors : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE; Kaplan,Donald M.

Subjects: Theoretical Mathematics; Computations; Mathematical logic

• Source: DTIC AND NTIS

تفاصيل العنوان

SECOND-ORDER MATHEMATICAL THEORY OF COMPUTATION

• Authors : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE; Manna, Zohar

Subjects: Theoretical Mathematics; Computer Programming and Software; COMPUTER PROGRAMMING

• Source: DTIC AND NTIS

تفاصيل العنوان

Understanding Computation: A General Theory of Computational Processes

• Authors : van Leeuwen, J.; Wiedermann, Jiri

Subjects: computation; computational processes; dynamical systems

• Source: Utrecht : UU BETA ICS Departement Informatica, Technical Report Series, nr.UU-CS-2019-012 (2019), 102 pp.

تفاصيل العنوان