scientific article; zbMATH DE number 1964695
From MaRDI portal
Publication:4420197
zbMATH Open1035.01002MaRDI QIDQ4420197FDOQ4420197
Publication date: 14 August 2003
Title of this publication is not available (Why is that?)
Recommendations
- scientific article
- scientific article; zbMATH DE number 4039834
- When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
- The mathematical origins of modern computing
- Logical Approaches to Computational Barriers
- scientific article; zbMATH DE number 432645
- Publication:4205404
- scientific article; zbMATH DE number 1926652
- scientific article; zbMATH DE number 5672698
- The mathematics of computing between logic and physics
History of computer science (68-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) Turing machines and related notions (03D10) General histories, source books (01A05)
Cited In (10)
- Title not available (Why is that?)
- A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length
- From Schütte’s Formal Systems to Modern Automated Deduction
- Parikh and Wittgenstein
- My Life as a Logician
- Title not available (Why is that?)
- Why there is no such discipline as hypercomputation
- From Philosophical to Industrial Logics
- Picturing Lovelace, Babbage, and the Analytical Engine: a cartoonist in mathematical biography
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4420197)
