Duygu Ataman

icon indicating a website link www.duyguataman.com icon indicating an email [email protected]

icon company NYU icon location New York icon location Assistant professor at NYU Courant Institute conducting research on machine translation and language modeling

Results 1 issues of Duygu Ataman

Symbols used in first order logic

1 comment

Hi, I'm interested in using your tool for first order logic validation. Thank you for sharing. Could you please share any more information on the set of symbols and how...