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á...

詳細記述

保存先:
書誌詳細
団体著者: International Symposium on Functional and Logic Programming ( Kanazawa, Japón)
その他の著者: Codish, Michael (edición) (edición), Sumii, Eijiro (edición) (edición)
フォーマット: 会議録 図書
言語:英語
出版事項: Cham, Suiza : Springer, 2014, c2014
シリーズ:(Lecture Notes in Computer Science ; 8475)
主題:
オンライン・アクセス:Ver documento en línea
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

インターネット

Ver documento en línea
予約・返却請求 IT2
請求記号:
Libro en línea
Ejemplar 556861-1
Disponible
Préstamo en línea
コレクション:
Libros electrónicos en línea
注記:
Consultar en línea