| SciPort RLP

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

Chaining Techniques for Automated Theorem Proving in Many-Valued Logics.

ISMVL. 2000 S. 337 - 344

Erscheinungsjahr: 2000

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.1109/ISMVL.2000.848641

Volltext über DOI/URN

Geprüft

Bibliothek

Autoren

Ganzinger, Harald (Autor)

Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Institut für Informatik)

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Formale Methoden und Theoretische Informatik)

Beteiligte Einrichtungen

Institut für Informatik
(Universität Koblenz)