Item Type: |
Book Section
|
Erschienen: |
1999 |
Creators: |
Hähnle, Reiner |
Type of entry: |
Bibliographie |
Title: |
Many-Valued Logic, Linear Optimization and Logic Design: Connections and Interactions |
Language: |
German |
Date: |
1999 |
Publisher: |
Institute of Computer Science AS CR, Prague |
Book Title: |
Collegium Logicum. Annals of the Kurt-G"{o}del-Society |
Series Volume: |
3 |
Divisions: |
20 Department of Computer Science 20 Department of Computer Science > Software Engineering |
Date Deposited: |
31 Dec 2016 10:40 |
Last Modified: |
03 Jun 2018 21:30 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |