[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Yves Deville
- Logic Programming: Systematic Program Development
- Addison Wesley 1990 QA76.63.D48 CR9204-0201 & CR9102-0042
- =TEXT LOGIC PROGRAMMING
pp14-17 outlines steps: Problem->Spec(predicates, multiplicity and directionallity)->first order logic->logic program.
(MATHS suitable for expressing the Problem and perhaps the Spec as well.)
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]