Suchergebnisse - Mellouli, Taïb 19XX-
- Treffer 1 – 9 von 9
-
1Optimierungssysteme: Modelle, Verfahren, Software, AnwendungenVeröffentlicht 2009Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
2Optimierungssysteme: Modelle, Verfahren, Software, AnwendungenVeröffentlicht 2013Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
3Optimierungssysteme: Modelle, Verfahren, Software, AnwendungenVeröffentlicht 2006Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
4Tree-structured theorem proving using controlled case analysis mechanisms for classical, three-, and four-valued logicVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Optimierungssysteme: Modelle, Verfahren, Software, AnwendungenVeröffentlicht 2009Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
6Produktionsprogrammplanung unter Einbeziehung von Preis-Absatz-Funktionen und LernkurveneffektenVeröffentlicht 2008Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
7A tree representation of the modified problem reduction and its extension to three-valued logicVeröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Einsatz einer dreiwertigen Logik für die Verarbeitung natürlicher Sprache in NALOGVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9A three-valued TMPR proof procedure and its use for handling presuppositions and vaguenessVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …