Ditemukan 17 dokumen yang sesuai dengan query
Maier, David, author
Menlo Park: The Benjamin Cumming Pub., 1988
005.133 MAI c
Buku Teks Universitas Indonesia Library
Tom Schrijvers, editor
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming,...
Berlin: [, Springer-Verlag], 2012
e20409517
eBooks Universitas Indonesia Library
Nikolaj Bjorne, editor
This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions....
Berlin: [, Springer-Verlag], 2012
e20410284
eBooks Universitas Indonesia Library
Amsterdam: North Holland, 1988
006.35 NAT
Buku Teks Universitas Indonesia Library
Van Hentenryck, Pascal, author
Cambridge, UK: MIT Press, 1989
006.3 VAN c
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR 2012, held in Vienna, Austria, in September 2012. The 27 revised research papers, presented together with 2 invited talks and 5 research summaries were carefully reviewed and selected from 42 submissions. The...
Berlin: Springer-Verlag, 2012
e20409990
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered...
Berlin: Springer-Verlag, 2012
e20410072
eBooks Universitas Indonesia Library
