76390 results for computer science
Computing with Functionals—Computability Theory or Computer Science?
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 43-59
- Print publication:
- March 2006
-
- Article
- Export citation
Computers and Actuarial Science
-
- Journal:
- Journal of the Institute of Actuaries Students' Society / Volume 17 / Issue 2 / May 1963
- Published online by Cambridge University Press:
- 11 August 2014, pp. 93-153
- Print publication:
- May 1963
-
- Article
- Export citation
Mathematical Explanation in Computer Science
-
- Journal:
- Philosophy of Science / Volume 90 / Issue 5 / December 2023
- Published online by Cambridge University Press:
- 16 February 2023, pp. 1079-1088
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Computational materials science and MRS
-
- Journal:
- MRS Bulletin / Volume 37 / Issue 8 / August 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 709-710
- Print publication:
- August 2012
-
- Article
-
- You have access
- HTML
- Export citation
Computer Simulation in the Physical Sciences
-
- Journal:
- PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association / Volume 1990 / Issue 2 / 1990
- Published online by Cambridge University Press:
- 31 January 2023, pp. 507-518
- Print publication:
- 1990
-
- Article
- Export citation
Computational Models in the Philosophy of Science
-
- Journal:
- PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association / Volume 1986 / Issue 2 / 1986
- Published online by Cambridge University Press:
- 28 February 2022, pp. 329-335
- Print publication:
- 1986
-
- Article
- Export citation
Science, Computers, and the Complexity of Nature
-
- Journal:
- Philosophy of Science / Volume 30 / Issue 2 / April 1963
- Published online by Cambridge University Press:
- 14 March 2022, pp. 158-164
- Print publication:
- April 1963
-
- Article
- Export citation
R. E. Davis. Truth, deduction, and computation. Logic and semantics for computer science. Principles of computer science series. Computer Science Press, New York1989, xv + 265 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 760-761
- Print publication:
- June 1992
-
- Article
- Export citation
Constructivity in computer science: A summer symposium
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 1097
- Print publication:
- September 1993
-
- Article
- Export citation
On computer science, visual science, and the physiological utility of models
-
- Journal:
- Behavioral and Brain Sciences / Volume 8 / Issue 2 / July 1985
- Published online by Cambridge University Press:
- 04 February 2010, pp. 300-301
-
- Article
- Export citation
Teaching Computational Materials Science for Nanoscale Science and Engineering
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 827 / 2004
- Published online by Cambridge University Press:
- 15 March 2011, BB2.4
- Print publication:
- 2004
-
- Article
- Export citation
Teaching Computational Social Science for All
-
- Journal:
- PS: Political Science & Politics / Volume 55 / Issue 3 / July 2022
- Published online by Cambridge University Press:
- 15 February 2022, pp. 605-609
- Print publication:
- July 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On the Unusual Effectiveness of Logic in Computer Science
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-236
- Print publication:
- June 2001
-
- Article
- Export citation
Numerical relativity: challenges for computational science
-
- Journal:
- Acta Numerica / Volume 8 / January 1999
- Published online by Cambridge University Press:
- 07 November 2008, pp. 1-45
- Print publication:
- January 1999
-
- Article
- Export citation
The structure and interpretation of the computer science curriculum
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 4 / July 2004
- Published online by Cambridge University Press:
- 07 June 2004, pp. 365-378
-
- Article
-
- You have access
- Export citation
Special selection in logic in computer science
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, p. 608
- Print publication:
- June 1997
-
- Article
- Export citation
Computer Software, Powder Diffraction, and Science
-
- Journal:
- Powder Diffraction / Volume 29 / Issue S2 / December 2014
- Published online by Cambridge University Press:
- 18 December 2014, p. S1
-
- Article
-
- You have access
- HTML
- Export citation
Introductory Research Seminar on Computer Science
-
- Journal:
- Canadian Mathematical Bulletin / Volume 10 / Issue 1 / April 1967
- Published online by Cambridge University Press:
- 01 April 2019, p. 168
- Print publication:
- April 1967
-
- Article
-
- You have access
- Export citation
Computer science research on scientific discovery
-
- Journal:
- The Knowledge Engineering Review / Volume 11 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 07 July 2009, pp. 57-66
-
- Article
- Export citation