Panelist position statement: logic and models in computer science
From MaRDI portal
Publication:5301854
DOI10.1098/rsta.2005.1654zbMath1152.68300WikidataQ51963622 ScholiaQ51963622MaRDI QIDQ5301854
Publication date: 20 January 2009
Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1098/rsta.2005.1654
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
03A05: Philosophical and critical aspects of logic and foundations
68Q99: Theory of computing
Cites Work