ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Computer Programming and Formal Systems
Mapping Intimacies
◽
10.1016/s0049-237x(08)x7102-2
◽
1963
◽
Keyword(s):
Computer Programming
◽
Formal Systems
Download Full-text
Related Documents
Cited By
References
Computer Programming and Formal Systems
10.1016/s0049-237x(09)x7005-9
◽
1959
◽
Keyword(s):
Computer Programming
◽
Formal Systems
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
◽
Context Free
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
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
◽
Formal Systems
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
◽
Game Playing
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close