"Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy	Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg	2018	World Scientific Publishing
Concepts of Proof in Mathematics, Philosophy, and Computer Science	Dieter Probst; Peter Schuster	2016	De Gruyter
Proof and Computation	Helmut Schwichtenberg	1995	Springer Berlin Heidelberg
Three Views of Logic: Mathematics, Philosophy, and Computer Science	Donald W. Loveland; Richard Hodel; S. G. Sterrett	2014	Princeton University Press
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science	Andrea Iacona	1st ed. 2021	Springer International Publishing
Three Views of Logic: Mathematics, Philosophy, and Computer Science	Donald W. Loveland, Richard E. Hodel, S. G. Sterrett	2014	Princeton University Press
Three Views of Logic: Mathematics, Philosophy, and Computer Science	Donald W. Loveland, Richard E. Hodel, S. G. Sterrett	2014	Princeton University Press
Proof and other dilemmas: mathematics and philosophy	Bonnie Gold	2008	Mathematical Association of America
Computation, Proof, Machine: Mathematics Enters a New Age	Gilles Dowek; Pierre Guillot; Marion Roman	2015-05	Cambridge University Press
Discrete mathematics in computer science	Donald F. Stanat	1986	Prentice-Hall International
Philosophy and Computer Science	Timothy Colburn	2000	Routledge
Mathematics and Computation in Imaging Science and Information Processing	Say Song Goh, Amos Ron, Zuowei Shen	2007	World Scientific
Fundamental proof methods in computer science: a computer-based approach	Konstantine Arkoudas	2017	MIT Press
Fundamental Proof Methods in Computer Science: A Computer-Based Approach	Konstantine Arkoudas	2017	MIT Press
Mathematics and Computer Science in Medical Imaging	Max A. Viergever; Andrew Todd-Pokropek	1988	Springer Berlin Heidelberg
Systems Approaches in Computer Science and Mathematics	G. E. Lasker	1981	Pergamon
Mathematics for Computer Science	by Eric Lehman, F Thomson Leighton and Albert R Meyer
Mathematics for Computer Science	Eric Lehman, F Thomson Leighton, Albert R Meyer	2017
Mathematics and computation	Wigderson A	2019	Princeton University Press
Proof and Knowledge in Mathematics	Michael Detlefsen	1992	Routledge
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
10 Perspectives of Proof and Computation for Mathematics, Computer Science and Philosophy		Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy	Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg	2018	World Scientific Publishing
Computer Science and Mathematics	Timothy Colburn	Philosophy and Computer Science	Timothy Colburn	2000	Routledge
Mathematics and Computer Science	L Budach	Computers in Science and Higher Education	Jan Grabowski	1990	De Gruyter
Computer Science and mathematics	Donald E. Knuth	Mathematics: people, problems, results /	Campbell, Douglas M.,; Higgins, John C.,	[1984], ©1984.	Wadsworth International,
Mathematics and computer science		Research and discovery: landmarks and pioneers in American science /	Lawson, Russell.	2008.	M.E. Sharpe,
Science, mathematics and philosophy		Physics: The Elements	Norman Robert Campbell	1920	Cambridge University Press
Philosophy and Computer Science	James H. Fetzer	Computers and Cognition: Why Minds are not Machines	J.H. Fetzer	2001	Springer Netherlands
Computer Science and Philosophy	Timothy R. Colburn	Program Verification: Fundamental Issues in Computer Science	Timothy T.R. Colburn; J.H. Fetzer; R.L. Rankin	1993	Springer Netherlands
Philosophy and Computer Science	Gian-Carlo Rota	Indiscrete Thoughts	Gian-Carlo RotaFabrizio Palombi	1st ed. 1996. 2nd printing 2009	Birkhäuser Boston
Mathematics in Computer Science Curricula	Jeannette M. Wing	Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings	Eerke A. Boiten; Bernhard Möller	2002	Springer Berlin Heidelberg
MATHEMATICS AND COMPUTER SCIENCE BACKGROUND	John R. Rice	Numerical Methods in Software and Analysis (Second Edition)	John R. Rice	1993	Academic Press
5 - Computer Science and Mathematics	J.H. Davenport	Computing Tomorrow: Future Research Directions in Computer Science	Ian Wand; Robin Milner	1996-07	Cambridge University Press
Mathematics and computer science citations		Cite right	Lipson, Charles.	2006	University of Chicago Press
Computer science - Mathematics and statistics		Blueprint for the future: framing the issues of women in science in a global context: summary of a workshop /	Didion, Catherine Jay.; Frehill, Lisa M.; Pearson, Willie,	c2012	National Academies Press,
5. Computer Science and Mathematics	J. H. Davenport	Computing tomorrow: future research directions in computer science /	Wand, I. C.; Milner, R.	1996.	Cambridge University Press,
Machine Computation and Digitization	Robert U. Ayres	The History and Future of Technology: Can Technology Save Humanity from Extinction?	Robert U. Ayres	1st ed. 2021	Springer International Publishing
mathematics for computer science	Roger J. Volkema	Interactive management--schools and education	Alexander N. Christakis; John N. Warfield	1990	Institute for Advanced Study in the Integrative Sciences, George Mason University
Discrete mathematics, Computer science, Logic, Proof 1 , and their relationships	Faïza Chellougui; Viviane Durand-Guerrier; Antoine Meyer	Research and Development in University Mathematics Education: Overview Produced by the International Network for Didactic Research in University Mathematics	Viviane Durand-Guerrier; Reinhard Hochmuth; Elena Nardi; Carl Winsløw	2021	Routledge
Olympiad in Computer Science and Discrete Mathematics	Athit Maytarttanakhon; Vasiliy Akimushkin; Sergei Pozdniakov	Informatics in Schools. Curricula, Competences, and Competitions: 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings	Andrej Brodnik; Jan Vahrenhold	1st ed. 2015	Springer International Publishing
Computer Animation in Mathematics, Science, and Art	Nelson L. Max	Computers in Mathematics	V. Chudnovsky	1990	Routledge
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy" - similar Books and Chapters