Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
Marek Perkowski (Hrsg). Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic ISMVL 2000; May 23-25, 2000; Portland, Oregon, USA. Los Alamitos, CA: IEEE Computer Society 2000 S. 337 - 344
Erscheinungsjahr: 2000
ISBN/ISSN: 0-7695-0692-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/ISMVL.2000.848641
| Geprüft | Bibliothek |
