Automated Reasoning in Some Local Extensions of Ordered Structures
Yngvar Berg; Omid Mirmotahari (Hrsg). Proceedings of the 37th International Symposium on Multiple-Valued Logic ISMVL 2007; May 13 – 26, 2007; Oslo, Norway. Los Alamitos, CA: IEEE Computer Society 2007 S. 1
Erscheinungsjahr: 2007
ISBN/ISSN: 0-7695-2831-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/ISMVL.2007.10
Geprüft | Bibliothek |