LOGICAL ARITHMETIC.

Future Comput Syst

Volumn 2, Issue 2, 1987, Pages 125-149

  Cleary, John G ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

LOGIC PROGRAMMING; LOGICAL ARITHMETIC; PROLOG;

COMPUTER PROGRAMMING;

EID: 0023596142     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (5)