Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- PROLOG (Programmiersprache) 23 Treffer
- Künstliche Intelligenz 6 Treffer
- Logische Programmierung 4 Treffer
- Programmierung 2 Treffer
- Algorithmische Programmierung 1 Treffer
-
22 weitere Werte:
- Automatisches Beweisverfahren 1 Treffer
- Common-LISP 1 Treffer
- Computerlinguistik 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
- 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
Person
- Bratko, Ivan (1946-) 2 Treffer
- Clocksin, William F. (1955-) 2 Treffer
- Shapiro, Ehud 2 Treffer
- Sterling, Leon 2 Treffer
- Abramson, Harvey 1 Treffer
-
36 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
- Deransart, Pierre 1 Treffer
- Dodd, Anthony (1942-) 1 Treffer
- Ed-Dbali, AbdelAli 1 Treffer
- Ford, Nigel 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
32 Treffer
-
2. ed.. - Cambridge, Mass. [u.a.]: MIT Press, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1989Monographie, Einführung, Gedruckte RessourceZugriff:
-
2. ed.. - Wokingham [u.a.]: Addison-Wesley, 1990Monographie, Gedruckte RessourceZugriff:
-
Wokingham, England [u.a.]: Addison-Wesley, 1986Monographie, Gedruckte RessourceZugriff:
-
Menlo Park, Calif. [u.a.]: Benjamin/Cummings, 1988Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Pr, 1989Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Chichester [u.a.]: Wiley, 1987Monographie, Gedruckte RessourceZugriff:
-
1. ed.. - New York [u.a.]: Springer, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1986Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
London [u.a.]: Acad. Pr, 1985Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1990Monographie, Einführung, Gedruckte RessourceZugriff:
-
1. [Dr.]. - New York [u.a.]: Harper & Row, 1987Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1990Monographie, Gedruckte RessourceZugriff:
-
London [u.a.]: Springer, 1994Monographie, Gedruckte RessourceZugriff:
-
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:
-
Wilmslow, Cheshire: Sigma Pr. [u.a.], 1988Monographie, Gedruckte RessourceZugriff: