Moshe Y. Vardi profile picture

Moshe Y. Vardi

Is this your author profile? Create an account to customize it!

Stand Alone

Logic for programming artificial intelligence and reasoning
Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
Finite Model Theory and Its Applications