Results 331 to 340 of about 3,500,861 (360)
Some of the next articles are maybe not open access.
The Temporal Logic of Reactive and Concurrent Systems
Springer: New York, 1991Z. Manna, A. Pnueli
semanticscholar +1 more source
Cambridge Tracts in Theoretical Computer Science, 2001
P. Blackburn, M. de Rijke, Y. Venema
semanticscholar +1 more source
P. Blackburn, M. de Rijke, Y. Venema
semanticscholar +1 more source
1976
Strict analysis of quantum theory has shown that for certain propositions about quantum-mechanical systems some laws of logic lose their validity. This assertion is justified by pointing out that quantum mechanics is an empirically verified theory.
openaire +2 more sources
Strict analysis of quantum theory has shown that for certain propositions about quantum-mechanical systems some laws of logic lose their validity. This assertion is justified by pointing out that quantum mechanics is an empirically verified theory.
openaire +2 more sources