TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 4.

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1998)
Simplification of Many-Valued Logic Formulas Using Anti-Links.
In: Journal of Logic and Computation, 8 (4)
Artikel, Bibliographie

Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Deduction in Many-Valued Logics: a Survey.
In: Mathware & Soft Computing, 4 (2)
Artikel, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Simplification of Many-Valued Logic Formulas Using Anti-Links.
Report, Bibliographie

Hrsg.: Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Special Issue on Deduction in Many-Valued Logic.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 19 02:32:47 2024 CET generiert.