Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)Henzinger, Thomas ; Miller, DaleACM 2014Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, ProceedingsSchrijvers, Tom ; Thiemann, Peter Schrijvers, Tom ; Thiemann, PeterNetherlands: Springer Nature 2012Texto completo disponível |