38th International Symposium on Multiple Valued Logic (ismvl 2008)
Book title Buchtitel
38th International Symposium on Multiple Valued Logic (ismvl 2008)
Editor Herausgeber_in
Publisher Herausgeber
IEEE Computer Society
Place of publishing Erscheinungsort
Washington D.C., USA
Series Schriftenreihe
37th International Symposium on Multiple-Valued Logic (ISMVL'07)
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Salzer, Gernot ; Chepoi, V ; Creignou, Nadia ; Hermann, Miki ; Dueck, G. | Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics | Konferenzbeitrag Inproceedings  | 2008 |