Instytut Informatyki Analitycznej - lista publikacji

1-5 z 5.

2007

5.
Witold Charatonik, Michał Wrona
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices, 37TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, ISMVL 2007 vol. IEEE Computer Society (2007), 21
2.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc