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: | Friday, 19 Nov 2004 |
Time: | 18:00-19:00 |
mpla.math.uoa.gr |
|
Speaker: | A. Kaporis (University of Patras) |
---|---|
Title: | The problem of satisfiability of random logical propositions: constructive techniques for solving, techniques of solution existence |
Date: | Friday, 19 Nov 2004 |
Time: | 18:00-19:00 |
Comments