Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. I - Kakas, Antonis C.; Sadri, Fariba (Berlin : Springer, 2002)
Keywords: logika; výpočetní technika; logic -- theory; computer science; monografie; monographs