Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /

Selección de ponencias del décimo segundo Simposio Internacional sobre Programación Lógica y Funcional, celebrado en Kanazawa, Japón, en junio de 2014. Se incluyen los siguientes textos: Generación de datos aleatorios restringidos con distribución uniforme; Depuración guiada de tipos; Uso de la semá...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: International Symposium on Functional and Logic Programming ( Kanazawa, Japón)
Další autoři: Codish, Michael (edición) (edición), Sumii, Eijiro (edición) (edición)
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Cham, Suiza : Springer, 2014, c2014
Edice:(Lecture Notes in Computer Science ; 8475)
Témata:
On-line přístup:Ver documento en línea
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Právě probíhá údržba systému

Právě probíhá údržba knihovního systému.

V současné době nejsou dostupné informace o dostupnosti. Omlouváme se Vám za nepříjemnosti. Neváhejte nás kontaktovat a my se pokusíme zjistit požadované informace jinou cestou:

biblioteca@iteso.mx

Internet

Ver documento en línea