author :  Kowalski

2 publications
page_white_acrobat Algorithm = Logic + Control (Communications of the ACM, 1979) — Robert A. Kowalski
page_white_acrobat Predicate Logic as Programming Language (1974) — Robert A. Kowalski