Automated Reasoning in Some Local Extensions of Ordered Structures
Journal of Multiple-Valued Logic and Soft Computing. Bd. 13. H. 4-6. Philadelphia, PA: Old City Publishing 2007 S. 397 - 414
Erscheinungsjahr: 2007
ISBN/ISSN: 1542-3999
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
| Geprüft: | Bibliothek |
