Weizmann Institute of Science
article-link
What links here
Ehud Shapiro
List of Israelis
article-link
Π-calculus
article-link
Fifth Generation Computer Systems
article-link
Symbolic artificial intelligence
article-link
Machine learning
article-link
Inductive logic programming
article-link
Prolog
article-link