Computer Programming and Formal Systems

Mapping Intimacies ◽

10.1016/s0049-237x(09)x7005-9 ◽

1959 ◽

Keyword(s):

Computer Programming ◽

Download Full-text

N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 118–161.

Journal of Symbolic Logic ◽

10.2307/2270782 ◽

1967 ◽

Vol 32 (3) ◽

pp. 388-389

Author(s):

G. H. Matthews

Keyword(s):

Computer Programming ◽

Algebraic Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Download Full-text

Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 87–94.

Journal of Symbolic Logic ◽

10.2307/2271271 ◽

1967 ◽

Vol 32 (1) ◽

pp. 119-119

Author(s):

J. A. Robinson

Keyword(s):

Computer Programming ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

Computer Programming and Formal Systems

10.1016/s0049-237x(08)x7102-2 ◽

1963 ◽

Keyword(s):

Computer Programming ◽

Download Full-text

Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 1–20.

Journal of Symbolic Logic ◽

10.2307/2271273 ◽

1967 ◽

Vol 32 (1) ◽

pp. 120-120

Author(s):

David C. Cooper

Keyword(s):

Computer Programming ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Analysis Computer ◽

Inferential Analysis

Download Full-text

E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 21–32.

Journal of Symbolic Logic ◽

10.2307/2270080 ◽

1968 ◽

Vol 33 (1) ◽

pp. 118-118

Author(s):

Martin Davis

Keyword(s):

Computer Programming ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 95–99. - A. Robinson. On the mechanization of the theory of equations. Bulletin of the Research Council of Israel, vol. 9F no. 2 (1960), pp. 47–70.

Journal of Symbolic Logic ◽

10.2307/2270081 ◽

1968 ◽

Vol 33 (1) ◽

pp. 118-118

Author(s):

Martin Davis

Keyword(s):

Research Council ◽

Computer Programming ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

Computer Programming and Formal Systems.

The Philosophical Quarterly ◽

10.2307/2218270 ◽

1965 ◽

Vol 15 (61) ◽

pp. 371

Author(s):

J. C. Shepherdson ◽

P. Braffort ◽

D. Hirschberg

Keyword(s):

Computer Programming ◽

Download Full-text

Factors Influencing College Students' Intended Enrollment Decisions in Computer Programming Courses

PsycEXTRA Dataset ◽

10.1037/e508412019-001 ◽

2019 ◽

Author(s):

Jiali Zheng ◽

Melissa C. Duffy ◽

Ge Zhu

Keyword(s):

College Students ◽

Computer Programming ◽

Enrollment Decisions ◽

Factors Influencing ◽

Programming Courses

Download Full-text

Enhancing computer programming fluency through game playing

PsycEXTRA Dataset ◽

10.1037/e527422013-004 ◽

2013 ◽

Author(s):

Eshwar Bachu ◽

Margaret Bernard

Keyword(s):

Computer Programming ◽

Download Full-text

Evaluation of three testing methods used to determine cognitive constructs in computer programming

PsycEXTRA Dataset ◽

10.1037/e574242012-016 ◽

1984 ◽

Author(s):

F. Layne Wallace ◽

Kathleen Swigger

Keyword(s):

Computer Programming ◽

Testing Methods ◽

Cognitive Constructs

Download Full-text