C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Interview with Alexandra Silva Recipient of the 2017 Presburger Award.
Luca Aceto
Published in:
Bull. EATCS (2017)
Keyphrases
</>
email
data collection
case study
presburger arithmetic
special case
focus group
selected papers
neural network
databases
feature extraction
database
object oriented
real world
human beings
conference proceedings
quantifier elimination
data sets