Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- PROLOG (Programmiersprache) 25 Treffer
- Künstliche Intelligenz 6 Treffer
- Logische Programmierung 5 Treffer
- Computerlinguistik 2 Treffer
- Programmierung 2 Treffer
-
23 weitere Werte:
- Algorithmische Programmierung 1 Treffer
- Automatisches Beweisverfahren 1 Treffer
- Common-LISP 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Datalog 1 Treffer
- Expertensystem 1 Treffer
- Funktionale Programmierung 1 Treffer
- Graph 1 Treffer
- Logische Grammatik 1 Treffer
- Logische Programmierung / PROLOG <Programmiersprache> 1 Treffer
- Parallelverarbeitung 1 Treffer
- Problemlösen 1 Treffer
- Programmierparadigma 1 Treffer
- Programmierumgebung 1 Treffer
- Prolog 1 Treffer
- Relationale Datenbank 1 Treffer
- Small Talk 1 Treffer
- Softwareentwicklung 1 Treffer
- Softwarewerkzeug 1 Treffer
- TURBO-PROLOG 1 Treffer
- Terminierung (Informatik) 1 Treffer
- Warren Abstract Machine 1 Treffer
- Wissensrepräsentation 1 Treffer
Form
Person
- Shapiro, Ehud 3 Treffer
- Bratko, Ivan (1946-) 2 Treffer
- Clocksin, William F. (1955-) 2 Treffer
- Sterling, Leon 2 Treffer
- Abramson, Harvey 1 Treffer
-
38 weitere Werte:
- Aït-Kaci, Hassan 1 Treffer
- Bharath, Ramachandran 1 Treffer
- Bradbury, Andrew 1 Treffer
- Ceri, Stefano (1955-) 1 Treffer
- Cervoni, Laurent 1 Treffer
- Dahl, Veronica 1 Treffer
- Dawe, C. M. 1 Treffer
- Dawe, M. S. 1 Treffer
- Degroot, Doug 1 Treffer
- Deransart, Pierre 1 Treffer
- Dodd, Anthony (1942-) 1 Treffer
- Ed-Dbali, AbdelAli 1 Treffer
- Ford, Nigel 1 Treffer
- Gal, Annie 1 Treffer
- Garavaglia, Susan 1 Treffer
- Gazdar, Gerald 1 Treffer
- Gottlob, Georg 1 Treffer
- Kluzniak, Feliks 1 Treffer
- Kreutzer, Wolfgang 1 Treffer
- MacKenzie, Bruce 1 Treffer
- Maier, David 1 Treffer
- Mellish, Christopher S. 1 Treffer
- Mellish, Christopher S. (1954-) 1 Treffer
- Merritt, Dennis 1 Treffer
- Mueller, Robert Arthur (1938-) 1 Treffer
- Naish, Lee 1 Treffer
- O'Keefe, Richard A. 1 Treffer
- Page, Rex L. 1 Treffer
- Plümer, Lutz 1 Treffer
- Saint-Dizier, Patrick (1954-) 1 Treffer
- Shoham, Yoav 1 Treffer
- Smith, Peter 1 Treffer
- Szpakowicz, Stanislaw 1 Treffer
- Tanca, Letizia 1 Treffer
- Van Hentenryck, Pascal (1963-) 1 Treffer
- Van Le, Tu 1 Treffer
- Warren, David S. 1 Treffer
- Woodward, Rory 1 Treffer
35 Treffer
-
Berlin [u.a.]: Springer, 1996Monographie, Gedruckte RessourceZugriff:
-
3., rev. and extended ed.. - Berlin [u.a.]: Springer, 1987Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1986Monographie, Gedruckte RessourceZugriff:
-
1. ed.. - Genève, 1995Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
1. ed.. - Genève, 2000Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: McGraw-Hill, 1989Monographie, Gedruckte RessourceZugriff:
-
Sydney [u.a.]: Addison-Wesley, 1991Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - Cambridge, Mass. [u.a.]: MIT Press, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, 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:
-
New York [u.a.]: Wiley, 1993Monographie, Gedruckte RessourceZugriff: