Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 22 von 23
    Datensatz exportieren als...
  • BibTeX
Logic programming : formal methods and practical applications
Studies in computer science and artificial intelligence : 11 (Alle Bände)
1995
Signatur: TVM3475

Details

Autor(en) / Beteiligte
Titel
Logic programming : formal methods and practical applications
Ist Teil von
Ort / Verlag
Amsterdam [u.a.] : North Holland
Erscheinungsjahr
1995
Sprache
–
Identifikatoren
ISBN: 0444820922
OCLC-Nummer: 883432588, 883432588
Titel-ID: 990006741800106463
Format
XIV, 404 S. : graph. Darst.
Systemstelle
TVM
Schlagworte
Logische Programmierung, Formale Methode, Constraint-logische Programmierung, Anwendung

Lade weitere Informationen...