Search Results - Arnon Avron
Arnon Avron
Arnon Avron (; born 1952) is an Israeli mathematician and Professor at the School of Computer Science at Tel Aviv University. His research focuses on applications of mathematical logic to computer science and artificial intelligence. Provided by Wikipedia- Showing 1 - 4 results of 4
-
1
Canonical calculi with (n,k)-ary quantifiers by Arnon Avron, Anna Zamansky
Published in Logical Methods in Computer Science (2008-08-01)Get full text
Article -
2
On Constructive Connectives and Systems by Arnon Avron, Ori Lahav
Published in Logical Methods in Computer Science (2010-12-01)Get full text
Article -
3
-
4
