von
Preis unbekannt
Ehud Shapiro
Extension Pattern Matching Prolog Resolution algorithms artificial intelligence class complexity control grammar logic logic programming machine translation natural language optimization