Show simple item record

Zombori, Zsolt
Csorba, János
Szeredi, Péter
2016-09-04T21:35:01Z
2016-09-04T21:35:01Z
2011
http://hdl.handle.net/10890/4513
en
Schloss Dagstuhl Leibniz-Zentrum für Informatik
Static Type Checking for the Q Functional Language in Prolog
könyvrészlet
2676313
978-3-939897-31-6
2676312
27th International Conference on Logic Programming (ICLP'11)
konferenciaközlemény


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • BME PA dokumentumai [3731]
    Lezárt gyűjtemény. Fájlok hozzáférési felülvizsgálata folyamatban. Jelenleg a dokumentumok kizárólag BME-s IP címekről érhetők el.

Show simple item record