*Showing* 1 - 20 *of* 517

Konferenzschrift 265 Logische Programmierung 75 Künstliche Intelligenz 52 Maschinelles Lernen 40 Data Mining 32 Induktive Logik 30 *more* ... Automatisches Beweisverfahren 27 Theoretische Informatik 25 Aufsatzsammlung 21 Wissensextraktion 21 Induktive logische Programmierung 19 Logik 19 Programmierung 18 Formale Methode 17 Programmierlogik 17 Informatik 13 Programmiersprache 12 Soft Computing 12 Mathematische Logik 11 Programmverifikation 11 Verifikation 11 Inferenz Künstliche Intelligenz 10 Lernendes System 10 Wissensbasiertes System 9 Wissensrepräsentation 9 Beweistheorie 8 Computational logic 8 Elektronik 8 Expertensystem 8 Lehrbuch 8 *less* ...

*Buch* 517 *Konferenzschrift* 270 *Dissertation* 8 *Festschrift* 6 *Abschlussarbeit* 1

Lavrač, Nada 7 Arikawa, Setsuo 6 Džeroski, Sašo 6 Gabbay, Dov M. 5 Hill, Winfield 5 Horowitz, Paul 5 *more* ... Jantke, Klaus P. 5 Voronkov, Andrei 5 Cussens, James 4 Díaz, Josep 4 Hanus, Michael 4 Norvig, Peter 4 Raś, Zbigniew W. 4 Russell, Stuart J. 4 Brewka, Gerhard 3 Bundy, Alan 3 Calmet, Jacques 3 Camacho, Rui 3 De Raedt, Luc 3 Ghinea, Gheorghita 3 Gunopulos, Dimitrios 3 Hofmann, Thomas 3 Kersting, Kristian 3 Kolter, Robert 3 Kumar, Amit 3 Malerba, Donato 3 Merugu, Suresh 3 Muggleton, Stephen 3 Muggleton, Stephen H. 3 Rozenberg, Grzegorz 3 *less* ...

*eng* 499 *ger* 19 *fre* 1