Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- PROLOG (Programmiersprache) 9 Treffer
- Parallelverarbeitung 2 Treffer
- Algorithmische Programmierung 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Constraint-logische Programmierung 1 Treffer
-
10 weitere Werte:
- Deduktives Datenbanksystem 1 Treffer
- Formale Semantik 1 Treffer
- Implementierung (Informatik) 1 Treffer
- Logische Programmierung / PROLOG <Programmiersprache> 1 Treffer
- Prolog 1 Treffer
- Softwareentwicklung 1 Treffer
- Systemtransformation 1 Treffer
- Terminierung (Informatik) 1 Treffer
- Visualisierung 1 Treffer
- Wissensbasiertes System 1 Treffer
Sprache
Form
Person
- Paine, Jocelyn 2 Treffer
- Apt, Krzysztof R. (1949-) 1 Treffer
- Belli, Fevzi 1 Treffer
- Brayshaw, Mike 1 Treffer
- Brough, Derek R. 1 Treffer
-
28 weitere Werte:
- Böhringer, Bernhard 1 Treffer
- Chiopris, Carlo 1 Treffer
- Clement, Timothy Paul 1 Treffer
- Conery, John S. 1 Treffer
- Cremers, Armin B. (1946-) 1 Treffer
- Degroot, Doug 1 Treffer
- Dodd, Anthony (1942-) 1 Treffer
- Edman, Anneli 1 Treffer
- Eisenstadt, Marc 1 Treffer
- Eliëns, Anton 1 Treffer
- Eriksson-Granskog, Agneta 1 Treffer
- Fuchs, Norbert E. 1 Treffer
- Futo, Ivan 1 Treffer
- Griefahn, Ulrike 1 Treffer
- Hinze, Ralf (1965-) 1 Treffer
- Johansson, Anna-Lena 1 Treffer
- Lau, Kung-Kiu 1 Treffer
- Maier, David 1 Treffer
- Małuszyński, Jan 1 Treffer
- Nilsson, Ulf 1 Treffer
- Plümer, Lutz 1 Treffer
- Schmitt, Peter H. 1 Treffer
- Shapiro, Ehud 1 Treffer
- Sterling, Leon 1 Treffer
- Van Hentenryck, Pascal (1963-) 1 Treffer
- Warren, David S. 1 Treffer
- Wiggins, Geraint A. 1 Treffer
- Yasdi, Ramin 1 Treffer
23 Treffer
-
2. ed.. - Chichester [u.a.]: Wiley, 1995Monographie, Einführung, Gedruckte RessourceZugriff:
-
Oxford [u.a.]: Oxford Univ. Pr, 1990Monographie, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1994Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Prentice Hall, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
Wien [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1992Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Bonn [u.a.]: Addison-Wesley, 1988Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer, 1987Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1992Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Englewood Cliffs, NJ: Prentice-Hall, 1986Sammelwerk, Gedruckte RessourceZugriff:
-
Menlo Park, Calif. [u.a.]: Benjamin/Cummings, 1988Monographie, Gedruckte RessourceZugriff:
-
Bonn [u.a.]: Addison-Wesley, 1988Monographie, Gedruckte RessourceZugriff:
-
Oxford: Intellect [u.a.], 1992Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Prentice-Hall-Verl, 1995Monographie, Gedruckte RessourceZugriff:
-
Oxford: Intellect, 1991Monographie, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1992Monographie, Gedruckte RessourceZugriff: