Seminar
| Speaker: | S. Baratella (University of Trento) |
|---|---|
| Title: | Quantifier elimination for first order theories |
| Date: | Παρασκευή, 02 Ιούν 2000 |
| Ώρα: | 18:00-19:00 |
| You are here: Seminars » 1999-2000 » S. Baratella, 2000-06-02 |
| Speaker: | S. Baratella (University of Trento) |
|---|---|
| Title: | Quantifier elimination for first order theories |
| Date: | Παρασκευή, 02 Ιούν 2000 |
| Ώρα: | 18:00-19:00 |
Comments