Explanation-Based Transformation of Logic Programs

Uložené v:
Podrobná bibliografia
Hlavný autor: Boström, Henrik (Autor)
Médium: Kniha
Jazyk:English
Vydavateľské údaje: Stockholm : Stockholm University, 1993
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!