Alonzo Church Award 2017 - Call for Nominations.

Natarajan Shankar Catuscia Palamidessi Gordon D. Plotkin Moshe Y. Vardi

Published in: Bull. EATCS (2017)

Keyphrases

selected papers
databases
invited talk
conference proceedings
neural network
artificial intelligence
web documents
computer society