Teodor C. Przymusinski

1947

• Logic programming and knowledge representation