Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- PROLOG (Programmiersprache) 60 Treffer
- Logische Programmierung 23 Treffer
- TURBO-PROLOG 15 Treffer
- Künstliche Intelligenz 10 Treffer
- Programmierung 7 Treffer
-
42 weitere Werte:
- Expertensystem 5 Treffer
- Parallelverarbeitung 5 Treffer
- Prolog 3 Treffer
- Softwareentwicklung 3 Treffer
- micro-PROLOG 3 Treffer
- Allgemeine Psychologie / Künstliche Intelligenz / Expertensysteme 2 Treffer
- Computerlinguistik 2 Treffer
- Deduktives Datenbanksystem 2 Treffer
- Implementierung (Informatik) 2 Treffer
- Problemlösen 2 Treffer
- Warren Abstract Machine 2 Treffer
- Wissensbasiertes System 2 Treffer
- Abfragesprache 1 Treffer
- Algorithmische Programmierung 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Common-LISP 1 Treffer
- Compiler 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Datalog 1 Treffer
- Datenbanksystem 1 Treffer
- Datenstruktur 1 Treffer
- Formale Semantik 1 Treffer
- Funktionale Programmierung 1 Treffer
- Graph 1 Treffer
- LISP 1 Treffer
- Logische Grammatik 1 Treffer
- Logische Programmierung / PROLOG <Programmiersprache> 1 Treffer
- Metaprogrammierung 1 Treffer
- P-PROLOG 1 Treffer
- Personal Computer 1 Treffer
- Programmierparadigma 1 Treffer
- Programmierumgebung 1 Treffer
- Relationale Datenbank 1 Treffer
- Relationales Datenbanksystem 1 Treffer
- Schnittstelle 1 Treffer
- Small Talk 1 Treffer
- Softwarewerkzeug 1 Treffer
- Speicher (Informatik) 1 Treffer
- Systemtransformation 1 Treffer
- Terminierung (Informatik) 1 Treffer
- Visualisierung 1 Treffer
- Wissensrepräsentation 1 Treffer
Sprache
Form
Person
- Shapiro, Ehud 5 Treffer
- Bratko, Ivan (1946-) 4 Treffer
- Sterling, Leon 4 Treffer
- Clocksin, William F. (1955-) 3 Treffer
- Ford, Nigel 3 Treffer
-
45 weitere Werte:
- Schnupp, Peter 3 Treffer
- Bharath, Ramachandran 2 Treffer
- Clark, Keith L. 2 Treffer
- Coelho, Helder 2 Treffer
- Cotta, José C. 2 Treffer
- Geske, Ulrich 2 Treffer
- Giannesini, Francis 2 Treffer
- Mellish, Christopher S. (1954-) 2 Treffer
- Merritt, Dennis 2 Treffer
- Paine, Jocelyn 2 Treffer
- Tick, Evan (1959-) 2 Treffer
- Abramson, Harvey 1 Treffer
- Antoniou, Grigorios 1 Treffer
- Apt, Krzysztof R. (1949-) 1 Treffer
- Aït-Kaci, Hassan 1 Treffer
- Belli, Fevzi 1 Treffer
- Bernhard, Lawrence W. 1 Treffer
- Boizumault, Patrice 1 Treffer
- Bothner, Peter P. 1 Treffer
- Bradbury, Andrew 1 Treffer
- Brayshaw, Mike 1 Treffer
- Brough, Derek R. 1 Treffer
- Böhringer, Bernhard 1 Treffer
- Ceri, Stefano (1955-) 1 Treffer
- Cervoni, Laurent 1 Treffer
- Chiopris, Carlo 1 Treffer
- Clement, Timothy Paul 1 Treffer
- Colomb, Robert M. (1942-) 1 Treffer
- Conery, John S. 1 Treffer
- Conlon, Tom 1 Treffer
- Cordes, Ralf 1 Treffer
- Cremers, Armin B. (1946-) 1 Treffer
- Dahl, Veronica 1 Treffer
- Dawe, C. M. 1 Treffer
- Dawe, M. S. 1 Treffer
- Degroot, Doug 1 Treffer
- Deransart, Pierre 1 Treffer
- Dieterich, Gabriele 1 Treffer
- Dieterich, Werner 1 Treffer
- Dobry, Tep P. 1 Treffer
- Dodd, Anthony (1942-) 1 Treffer
- Ed-Dbali, AbdelAli 1 Treffer
- Edman, Anneli 1 Treffer
- Eisenstadt, Marc 1 Treffer
- Eliëns, Anton 1 Treffer
112 Treffer
-
2. ed.. - Cambridge, Mass. [u.a.]: MIT Press, 1994Monographie, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1992Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Chichester [u.a.]: Wiley, 1995Monographie, Einführung, Gedruckte RessourceZugriff:
-
New York [u.a.]: Oxford Univ. Pr, 1991Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Ellis Horwood, 1991Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1988Monographie, Gedruckte RessourceZugriff:
-
Oxford [u.a.]: Oxford Univ. Pr, 1990Monographie, Gedruckte RessourceZugriff:
-
Singapore [u.a.]: World Scientif, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1987Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Wiley, 1993Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Prentice-Hall-Verl, 1995Monographie, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1991Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford: Intellect, 1991Monographie, Gedruckte RessourceZugriff:
-
San Francisco, Calif.: Kaufmann, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Bonn [u.a.]: Addison-Wesley, 1987Monographie, Gedruckte RessourceZugriff:
-
Stuttgart: Teubner, 1986Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1992Monographie, Gedruckte RessourceZugriff:
-
München [u.a.]: Oldenbourg, 1987Sammelwerk, Gedruckte RessourceZugriff: