Towards the automation of set theory and its logic

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/S0004-3702(78)80017-4

View full text

>> Full Text: Towards the automation of set theory and its logic

On program synthesis knowledge

Comments on C. Hewitt, viewing control structures as patterns of passing messages, Artificial Intell