LLP, Lineare Logische Programmierung

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
80 S.
Sprache
Deutsch

Erschienen in
Tasso-Report ; Nr. 46

Ereignis
Veröffentlichung
(wo)
St. Augustin
(wer)
GMD [u.a.]
(wann)
1993
Urheber
Sigmund, Ute Cornelia

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:47 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Sigmund, Ute Cornelia
  • GMD [u.a.]

Entstanden

  • 1993

Ähnliche Objekte (12)

AC1-Unifikation in der linearen logischen Programmierung

AC1-Unifikation in der linearen logischen Programmierung

Kurs in Logischer Programmierung

Kurs in Logischer Programmierung

Grundlagen der logischen Programmierung

Grundlagen der logischen Programmierung

9. Workshop Logische Programmierung

9. Workshop Logische Programmierung

Mathematische Grundlagen der logischen Programmierung

Mathematische Grundlagen der logischen Programmierung

Mathematische Grundlagen der logischen Programmierung

Mathematische Grundlagen der logischen Programmierung

Lineare Programmierung

zweidimensionales bewegtes Bild

Lineare Programmierung

Lineare Optimierung : Lineare Programmierung.

Lineare Optimierung : Lineare Programmierung.

Logische Programmierung mit dem Theorembeweiser SETHEO

Logische Programmierung mit dem Theorembeweiser SETHEO

Angewandte lineare Programmierung

Angewandte lineare Programmierung

9. Workshop Logische Programmierung : Hagen, Oktober 1993

Konferenzschrift

9. Workshop Logische Programmierung : Hagen, Oktober 1993

Analyse hybrider Systeme in constraint logischer Programmierung

Hochschulschrift

Analyse hybrider Systeme in constraint logischer Programmierung

Verbundene Objekte