A. Avron

发表

Arnon Avron, A. Avron, 1991, Journal of Symbolic Logic.
Arnon Avron, A. Avron, 1987, Journal of Symbolic Logic.
Anna Zamansky, Arnon Avron, Beata Konikowska, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Anna Zamansky, Arnon Avron, Beata Konikowska, 2013, J. Log. Comput..
Arnon Avron, Iddo Lev, A. Avron, 2001, IJCAR.
A. Avron, A. Zamansky, 2008 .
Arnon Avron, Beata Konikowska, A. Avron, 2012 .
A. Avron, 2017, Logica Universalis.
Arnon Avron, A. Avron, 1988, Inf. Comput..
Arnon Avron, A. Avron, 1988, Theor. Comput. Sci..
Arnon Avron, A. Avron, 1991, Annals of Mathematics and Artificial Intelligence.
Arnon Avron, A. Avron, 1997, Log. J. IGPL.
Arnon Avron, A. Avron, 2008, Pillars of Computer Science.
A. Avron, O. Arieli, 2017, Studia Logica.
Arnon Avron, Ofer Arieli, A. Avron, 2017, Stud Logica.
Arnon Avron, Beata Konikowska, A. Avron, 2008, Stud Logica.
Arnon Avron, Ofer Arieli, A. Avron, 1998, Artif. Intell..
Arnon Avron, A. Avron, 2014, Ann. Pure Appl. Log..
Ian A. Mason, Furio Honsell, Arnon Avron, 1992, Journal of Automated Reasoning.
Ian A. Mason, Furio Honsell, Arnon Avron, 1989 .
Arnon Avron, Ofer Arieli, A. Avron, 1996, J. Log. Lang. Inf..
Arnon Avron, Ofer Arieli, A. Avron, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska, 2007, Logica Universalis.
Anna Zamansky, Arnon Avron, A. Avron, 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.
Arnon Avron, Beata Konikowska, A. Avron, 2009, Stud Logica.
Arnon Avron, A. Avron, 1984, Journal of Symbolic Logic.
Arnon Avron, A. Avron, 1999 .
Nachum Dershowitz, Arnon Avron, A. Avron, 2016, Am. Math. Mon..
Arnon Avron, Liron Cohen, A. Avron, 2018, LFCS.
Arnon Avron, Ofer Arieli, A. Avron, 1999, Journal of Automated Reasoning.
Arnon Avron, A. Avron, 1986, Notre Dame J. Formal Log..
Arnon Avron, Beata Konikowska, A. Avron, 2005, Log. J. IGPL.
Anna Zamansky, Arnon Avron, A. Avron, 2012, Ann. Pure Appl. Log..
Arnon Avron, A. Avron, 2003, TABLEAUX.
Arnon Avron, Liron Cohen, A. Avron, 2018, Log. Methods Comput. Sci..
Furio Honsell, Arnon Avron, Marino Miculan, 1998, Stud Logica.
Arnon Avron, A. Avron, 1990, Notre Dame J. Formal Log..
Arnon Avron, A. Avron, 1984, Journal of Symbolic Logic.
Anna Zamansky, Arnon Avron, Agata Ciabattoni, 2009, CSR.
A. Avron, B. Konikowska, 2001, Stud Logica.
Arnon Avron, Liron Cohen, A. Avron, 2014, WoLLIC.
A. Avron, L. Cohen, 2019, Synthese.
Anna Zamansky, Arnon Avron, A. Avron, 2008, Log. Methods Comput. Sci..
Arnon Avron, A. Avron, 1992, J. Philos. Log..
Arnon Avron, A. Avron, 2002 .
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska, 2009, Towards Mathematical Philosophy.
Arnon Avron, Yoni Zohar, A. Avron, 2018, The Review of Symbolic Logic.
Arnon Avron, Yoni Zohar, A. Avron, 2017, 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL).
Ori Lahav, Arnon Avron, A. Avron, 2013, J. Log. Comput..
Ori Lahav, Arnon Avron, A. Avron, 2011, CSR.
Arnon Avron, A. Avron, 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
Arnon Avron, A. Avron, 1998, Log. J. IGPL.
Arnon Avron, A. Avron, 1990, Journal of Symbolic Logic.
Ori Lahav, Arnon Avron, A. Avron, 2015, Fuzzy Sets Syst..
Arnon Avron, A. Avron, 2005, Stud Logica.
Arnon Avron, Beata Konikowska, A. Avron, 2012, Fundam. Informaticae.
Yoram Hirshfeld, Arnon Avron, Y. Hirshfeld, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Ori Lahav, Arnon Avron, A. Avron, 2010, Log. Methods Comput. Sci..
Ori Lahav, Arnon Avron, A. Avron, 2010, Fields of Logic and Computation.
Arnon Avron, A. Avron, 2016, Fuzzy Sets Syst..
Arnon Avron, A. Avron, 2016 .
Ori Lahav, Arnon Avron, A. Avron, 2011, TABLEAUX.