Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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

Volltext über DOI/URN

GeprüftBibliothek

Autoren


Ihlemann, Carsten (Autor)

Verknüpfte Personen