# Difference between revisions of "Category:Logic programming"

Line 1: | Line 1: | ||

− | + | The use of mathematical logic for computer programming | |

− | |||

[[Category:Computer_science|{{PAGENAME}}]] | [[Category:Computer_science|{{PAGENAME}}]] |

## Latest revision as of 17:57, 31 January 2013

The use of mathematical logic for computer programming

## Pages in category "Logic programming"

The following 2 pages are in this category, out of 2 total.