Introduction to a Journal Special issue on Logical Issues in the History and Philosophy of Computer Scienc
Computing as a discipline is often characterized as a combination of three major traditions: theoret...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
A word of explanation is in order regarding the title of the set of computer-based tutorials, ANALYT...
International audienceThis paper introduces how logic is connected to computer science and gives an ...
Abstract: During the past fifty years there has been extensive, continuous, and growing interaction...
This paper argues for the thesis that ideas originating in the philosophy of mathematics have prove...
We present the methodological principles underlying the scientific activities of the DHST Commission...
Logic is now widely recognized to be one of the foundational disciplines of computing with applicati...
The University Archives has determined that this item is of continuing value to OSU's history.The me...
Abstract: The early connections between Mathematical Logic and Computer Science date back to the thi...
International audienceThis paper introduces the journal special issue on Trends in the History and P...
The early connections between Mathematical Logic and Computer Science date back to the thirties and ...
One of the most defining characteristics of our contemporary world is without doubt the development ...
Computing, today more than ever before, is a multi-faceted discipline which collates several methodo...
This chapter locates logic programming in the context of the history of ideas, and in particular the...
Computing as a discipline is often characterized as a combination of three major traditions: theoret...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
A word of explanation is in order regarding the title of the set of computer-based tutorials, ANALYT...
International audienceThis paper introduces how logic is connected to computer science and gives an ...
Abstract: During the past fifty years there has been extensive, continuous, and growing interaction...
This paper argues for the thesis that ideas originating in the philosophy of mathematics have prove...
We present the methodological principles underlying the scientific activities of the DHST Commission...
Logic is now widely recognized to be one of the foundational disciplines of computing with applicati...
The University Archives has determined that this item is of continuing value to OSU's history.The me...
Abstract: The early connections between Mathematical Logic and Computer Science date back to the thi...
International audienceThis paper introduces the journal special issue on Trends in the History and P...
The early connections between Mathematical Logic and Computer Science date back to the thirties and ...
One of the most defining characteristics of our contemporary world is without doubt the development ...
Computing, today more than ever before, is a multi-faceted discipline which collates several methodo...
This chapter locates logic programming in the context of the history of ideas, and in particular the...
Computing as a discipline is often characterized as a combination of three major traditions: theoret...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
A word of explanation is in order regarding the title of the set of computer-based tutorials, ANALYT...
DOI
Add to ORKG