Results 261 to 270 of about 1,008,187 (306)
Some of the next articles are maybe not open access.
Trends in Logic: Relations with Computer Science
1989It is suggested that computer science has borrowed much from logic and has repaid the debt, providing many new and interesting problems. The “culture” of computer science is contrasted with that of mathematical logic. The P = NP problem is discussed in this connection.
openaire +2 more sources
Linear Logic in Computer Science: Between Logic and Quantic: a Tract
, 2004J. Girard
semanticscholar +1 more source
Logic in computer science: tool-based modeling and reasoning about systems
30th Annual Frontiers in Education Conference. Building on A Century of Progress in Engineering Education. Conference Proceedings (IEEE Cat. No.00CH37135), 1999M. Huth
semanticscholar +1 more source
Influences of Mathematical Logic on Computer Science
1990Abstract When I was a student, even the topologists regarded mathematical logicians as living in outer space. Today the connections between logic and computers are a matter of engineering practice at every level of computer organization. Companies with names like Logical Devices or Logicsoft abound. One can walk into a shop and ask for a
openaire +1 more source
Third international workshop on deontic logic in computer science
Knowledge engineering review (Print), 1996Mark A. Brown, J. Carmo
semanticscholar +1 more source
Deontic Logic in Computer Science
Lecture Notes in Computer Science, 2012Thomas Ågotnes, J. Broersen, D. Elgesem
semanticscholar +1 more source