The Logical Basis for Computer Programming: Volume 1: Deductive Reasoning

Manna, Z. | Waldinger, R.

Feb-1-1985–Classics

Addison-Wesley.

computer programming, deductive reasoning, logical basis, (1 more...)

Feb-1-1985

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence (0.40)