Seminar
| Speaker: | A. Kaporis (University of Patras) |
|---|---|
| Title: | The problem of satisfiability of random logical propositions: constructive techniques for solving, techniques of solution existence |
| Date: | Παρασκευή, 19 Νοέ 2004 |
| Ώρα: | 18:00-19:00 |
| You are here: Seminars » 2004-2005 » A. Kaporis, 2004-11-19 |
| Speaker: | A. Kaporis (University of Patras) |
|---|---|
| Title: | The problem of satisfiability of random logical propositions: constructive techniques for solving, techniques of solution existence |
| Date: | Παρασκευή, 19 Νοέ 2004 |
| Ώρα: | 18:00-19:00 |
Comments