Found 5 Documents (Results 1–5)
2016–17 Winter meeting of the Association for Symbolic Logic. Hyatt Regency Atlanta and Marriott Atlanta Marquis, Atlanta, GA, USA, January 6–7, 2017. (English) Zbl 1386.03009
Filter Results by …
Author
- Downey, Rodney Graham (1)
- Greenberg, Noam (1)
- Palmgren, Erik (1)
- Pistone, Paolo (1)
- Rosendal, Christian (1)
Software
- Automath (1)