Results 241 to 250 of about 3,955,142 (302)
Some of the next articles are maybe not open access.

Related searches:

The Logic of Computer Programming

IEEE Transactions on Software Engineering, 1978
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to lead to the automation of many of the facets of the programming process.
Zohar Manna, Richard J. Waldinger
openaire   +3 more sources

Biomolecular Computing and Programming

IEEE Transactions on Evolutionary Computation, 1999
Molecular computing is a discipline that aims at harnessing individual molecules at nanoscales to perform computations. The best studied molecules for this purpose to date have been DNA and bacteriorhodopsin. Biomolecular computing allows one to realistically entertain, for the first time in history, the possibility of exploiting the massive ...
Max H. Garzon, Russell J. Deaton
openaire   +1 more source

On computability by logic programs

Annals of Mathematics and Artificial Intelligence, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +5 more sources

On computing logic programs

Journal of Automated Reasoning, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Computer Programming is More than to Program Computers

Proceedings of the 19th Annual SIG Conference on Information Technology Education, 2018
In this article, we describe how a holistic approach can introduce soft skills to Computer Programming students and promote community interaction between college and community.
openaire   +1 more source

Home - About - Disclaimer - Privacy