Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Logische Programmierung 202 Treffer
- Computer science 102 Treffer
- Artificial intelligence 100 Treffer
- Logic design 54 Treffer
- Software engineering 28 Treffer
-
45 weitere Werte:
- Automatisches Beweisverfahren 27 Treffer
- Programmierlogik 25 Treffer
- Nichtmonotones Schließen 22 Treffer
- Funktionale Programmierung 21 Treffer
- Induktive Logik 21 Treffer
- Computer software 17 Treffer
- Programmierung 17 Treffer
- Computer programming 16 Treffer
- Induktive logische Programmierung 15 Treffer
- Wissensrepräsentation 15 Treffer
- Computer logic 12 Treffer
- Künstliche Intelligenz 12 Treffer
- Mathematical logic 12 Treffer
- PROLOG (Programmiersprache) 12 Treffer
- Constraint-Programmierung 11 Treffer
- Online-Ressource 11 Treffer
- Datenbanksystem 10 Treffer
- Implementierung (Informatik) 9 Treffer
- Programmiersprache 9 Treffer
- Constraint-Erfüllung 8 Treffer
- Constraint-logische Programmierung 8 Treffer
- Deduktives Datenbanksystem 7 Treffer
- Inferenz (Künstliche Intelligenz) 7 Treffer
- Programming languages (Electronic computers) 7 Treffer
- Constraint (Künstliche Intelligenz) 6 Treffer
- Data mining 6 Treffer
- Formale Semantik 6 Treffer
- Algebraische Spezifikation 5 Treffer
- Database management 5 Treffer
- Electronic data processing 5 Treffer
- Logic programming 5 Treffer
- Logische Programmiersprache 5 Treffer
- Mathematische Logik 5 Treffer
- Parallelverarbeitung 5 Treffer
- Termersetzungssystem 5 Treffer
- Algebra / Data processing 4 Treffer
- Computers 4 Treffer
- Deklarative Programmierung 4 Treffer
- Maschinelles Lernen 4 Treffer
- Periodicals 4 Treffer
- Wissensbasiertes System 4 Treffer
- Compilers (Computer programs) 3 Treffer
- Computational complexity 3 Treffer
- Metaprogrammierung 3 Treffer
- Programmverifikation 3 Treffer
Sprache
Form
deposit_hagen
Person
- Voronkov, Andrei 20 Treffer
- Hanus, Michael 10 Treffer
- Dix, Jürgen 9 Treffer
- Muggleton, Stephen 9 Treffer
- Apt, Krzysztof R. (1949-) 6 Treffer
-
45 weitere Werte:
- Gabbay, Dov M. (1945-) 6 Treffer
- Kirchner, Hélène 6 Treffer
- Rossi, Francesca 6 Treffer
- Fages, François 5 Treffer
- Lavrač, Nada 5 Treffer
- Riguzzi, Fabrizio 5 Treffer
- Shapiro, Ehud 5 Treffer
- Blume, Matthias 4 Treffer
- Bruynooghe, Maurice 4 Treffer
- Brzoska, Christoph 4 Treffer
- Deransart, Pierre 4 Treffer
- Dyckhoff, Roy 4 Treffer
- Furukawa, Koichi 4 Treffer
- Kuchen, Herbert 4 Treffer
- Małuszyński, Jan 4 Treffer
- Sterling, Leon 4 Treffer
- Vardi, Moshe Y. 4 Treffer
- Balduccini, Marcello 3 Treffer
- Baral, Chitta 3 Treffer
- Blockeel, Hendrik 3 Treffer
- Bockmayr, Alexander 3 Treffer
- Bossi, Annalisa 3 Treffer
- Carbonell, Jaime G. 3 Treffer
- Cussens, James 3 Treffer
- De Raedt, Luc (1964-) 3 Treffer
- Demoen, Bart 3 Treffer
- Dovier, Agostino 3 Treffer
- Eiter, Thomas 3 Treffer
- Frasconi, Paolo 3 Treffer
- Fribourg, Laurent 3 Treffer
- Fujisaki, Tetsunosuke 3 Treffer
- Gelfond, Michael 3 Treffer
- Geske, Ulrich 3 Treffer
- Hermenegildo, Manuel 3 Treffer
- Kakas, Antonis C. (1957-) 3 Treffer
- Kowalski, Robert (1941-) 3 Treffer
- Levi, Giorgio 3 Treffer
- Rodríguez-Artalejo, Mario 3 Treffer
- Schrijvers, Tom 3 Treffer
- Seipel, Dietmar 3 Treffer
- Siekmann, Jörg 3 Treffer
- Stuckey, Peter J. 3 Treffer
- Tanaka, Hozumi 3 Treffer
- Warren, David S. 3 Treffer
- Železný, Filip 3 Treffer
459 Treffer
-
CRC Press, 2023Online Monographie, Elektronische Ressource
-
1st ed. 2023. - Cham: Springer Nature Switzerland, Imprint: Springer, 2023Online Sammelwerk, Elektronische Ressource
-
Reprint 2022. - Berlin ; Boston: De Gruyter, [2022]Online Sammelwerk, Elektronische Ressource
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Sammelwerk, Elektronische Ressource
-
CRC Press, 2022-09-01Online Monographie, Elektronische Ressource
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Sammelwerk, Elektronische Ressource
-
1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022Online Sammelwerk, Elektronische Ressource
-
1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021Online Sammelwerk, Elektronische Ressource
-
1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021Online Sammelwerk, Elektronische Ressource
-
Reprint 2020. - Berlin ; Boston: De Gruyter, [2020]Online Monographie, Elektronische Ressource
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online Sammelwerk, Elektronische Ressource
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online Sammelwerk, Elektronische Ressource
-
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020Online Sammelwerk, Elektronische Ressource
-
Cham: Springer International Publishing, Imprint: Springer, 2019Online Konferenzschrift, Sammelwerk, Elektronische Ressource
-
Cham: Springer International Publishing, Imprint: Springer, 2019Online Sammelwerk, Elektronische Ressource
-
Carpenteria, CA: linkedin.com, 2018Online Monographie, Elektronische Ressource, Film, Dia, Video
-
Cham: Springer International Publishing, Imprint: Springer, 2018Online Sammelwerk, Elektronische Ressource
-
Cham: Springer International Publishing, Imprint: Springer, 2018Online Sammelwerk, Elektronische Ressource
-
First edition. - [San Rafael]: Morgan & Claypool Publishers, [2018]Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cham: Springer International Publishing, Imprint: Springer, 2018Online Sammelwerk, Elektronische Ressource