Results 281 to 290 of about 2,584,296 (324)
Some of the next articles are maybe not open access.

A Computational Approach to Logical Statements

The Two-Year College Mathematics Journal, 1983
J. N. Boyd, P. N. Raychowdhury
openaire   +1 more source

Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus

2011 IEEE Ninth European Conference on Web Services, 2011
P. Papapanagiotou, Jacques D. Fleuriot
semanticscholar   +1 more source

The logic of quantum mechanics

, 1981
E. Beltrametti   +2 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy