Export: The ciao system
Bueno Carrillo, Francisco and Carro Liñares, Manuel and Haemmerlé, R. and Hermenegildo, Manuel V. and López García, Pedro and Mera, E. and Morales Caballero, José Francisco and Puebla Sánchez, Alvaro Germán (2013). The ciao system. The Ciao Documentation Series (Techni). The Computational logic, Languages, Implementation, and Parallelism (CLIP) Lab, Madrid, Spain.
Please select an output format:
