Women in Logic 2018 workshop report.

Mihaela Rozman Valeria de Paiva Amy P. Felty Ursula Martin

Published in: ACM SIGLOG News (2019)

Keyphrases

information technology
real time
classical logic
case study
logic programming
probability theory
neural network
automated reasoning
multi valued
probabilistic logic
computational properties
set theory
invited paper
asynchronous circuits