Hähnle, Reiner (1999)
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions.
In: Collegium Logicum. Annals of the Kurt-G"{o}del-Society
Buchkapitel, Bibliographie
Typ des Eintrags: | Buchkapitel |
---|---|
Erschienen: | 1999 |
Autor(en): | Hähnle, Reiner |
Art des Eintrags: | Bibliographie |
Titel: | Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions |
Sprache: | Deutsch |
Publikationsjahr: | 1999 |
Verlag: | Institute of Computer Science AS CR, Prague |
Buchtitel: | Collegium Logicum. Annals of the Kurt-G"{o}del-Society |
Band einer Reihe: | 3 |
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Software Engineering |
Hinterlegungsdatum: | 31 Dez 2016 10:40 |
Letzte Änderung: | 03 Jun 2018 21:30 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |