Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Mathematische Logik 4 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Deduktives Datenbanksystem 2 Treffer
- Horn-Klausel 2 Treffer
- Klausellogik 2 Treffer
-
29 weitere Werte:
- Maschinelles Lernen 2 Treffer
- Programmverifikation 2 Treffer
- Abstrakter Datentyp 1 Treffer
- Algebraische Spezifikation 1 Treffer
- Attributierte Grammatik 1 Treffer
- Automatische Parallelisierung 1 Treffer
- Berechnungstheorie 1 Treffer
- Constraint-logische Programmierung 1 Treffer
- Datenstruktur 1 Treffer
- Deklarative Programmierung 1 Treffer
- Expertensystem 1 Treffer
- Formale Semantik 1 Treffer
- Funktionale Programmierung 1 Treffer
- Gemeinsamer Speicher 1 Treffer
- Gleichungstheorie 1 Treffer
- Hoare-Logik 1 Treffer
- Implementierung (Informatik) 1 Treffer
- Induktive Logik 1 Treffer
- Künstliche Intelligenz 1 Treffer
- Mehrprozessorsystem 1 Treffer
- Nichtmonotones Schließen 1 Treffer
- PROLOG (Programmiersprache) 1 Treffer
- Programmierung 1 Treffer
- Relation (Informatik) 1 Treffer
- Temporale Logik 1 Treffer
- Termersetzungssystem 1 Treffer
- Terminierung (Informatik) 1 Treffer
- Typentheorie 1 Treffer
- Wissensrepräsentation 1 Treffer
Sprache
Form
Person
- Nerode, Anil (1932-) 2 Treffer
- Shore, Richard A. (1946-) 2 Treffer
- Alferes, José Júlio 1 Treffer
- Amble, Tore 1 Treffer
- Antoniou, Grigorios 1 Treffer
-
26 weitere Werte:
- Apt, Krzysztof R. (1949-) 1 Treffer
- Ben-Arî, Môtî (1948-) 1 Treffer
- Bergadano, Francesco (1963-) 1 Treffer
- Boley, Harold 1 Treffer
- Cremers, Armin B. (1946-) 1 Treffer
- Das, Subrata Kumar (1962-) 1 Treffer
- Deransart, Pierre 1 Treffer
- Doets, Kees 1 Treffer
- Džeroski, Sašo (1968-) 1 Treffer
- Fitting, Melvin (1942-) 1 Treffer
- Griefahn, Ulrike 1 Treffer
- Gunetti, Daniele 1 Treffer
- Gupta, Gopal 1 Treffer
- Hinze, Ralf (1965-) 1 Treffer
- Hölldobler, Steffen (1957-2023) 1 Treffer
- Lavrač, Nada 1 Treffer
- Małuszyński, Jan 1 Treffer
- Mulkers, Anne 1 Treffer
- Nienhuys-Cheng, Shan-hwei 1 Treffer
- Pereira, Luís Moniz (1947-) 1 Treffer
- Plümer, Lutz 1 Treffer
- Raatz, Stan 1 Treffer
- Sperschneider, Volker (1952-) 1 Treffer
- Van Hentenryck, Pascal (1963-) 1 Treffer
- Wolf, Ronald de 1 Treffer
- Wolfram, D. A. 1 Treffer
25 Treffer
-
Cambridge, Mass. [u.a.]: MIT Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1993Monographie, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1990Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Braunschweig [u.a.]: Vieweg, 1994Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Horwood, 1994Monographie, Gedruckte RessourceZugriff:
-
2. ed.. - New York [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
New York [u.a.]: Prentice Hall, 1993Monographie, Einführung, Gedruckte RessourceZugriff:
-
London [u.a.]: Prentice Hall, 1997Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Kluwer Acad. Publ, 1994Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 1993Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1990Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Monographie, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1992Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Cambridge, Mass. [u.a.]: MIT Press, 1993Monographie, Gedruckte RessourceZugriff:
-
Wokingham [u.a.]: Addison-Wesley, 1991Monographie, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Oxford: Oxford Univ. Pr. [u.a.], 1987Monographie, Gedruckte RessourceZugriff: