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 - 1 results of 1 for search 'Avron, Arnon,', query time: 0.08s Refine Results
1
Ways of Proof Theory /
Participants: Avron, Arnon, [ MitwirkendeR, MitwirkendeR ]; Beckmann, Arnold, [ MitwirkendeR, MitwirkendeR ]; Beckmann, Arnold, [ MitwirkendeR ]; Beklemishev, Lev, [ MitwirkendeR, MitwirkendeR ]; Beklemishev, Lev, [ MitwirkendeR ]; ...
Published: [2013]
Superior document: Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1
Other Authors: “...Avron, Arnon,...”
Links: Get full text; Get full text; Cover
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search