Ditemukan 4 dokumen yang sesuai dengan query
New York: Springer-Verlag, 1992
511.3 LOG
Buku Teks Universitas Indonesia Library
Luis Farinas del Cerro, editor
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of...
Berlin: [, Springer-Verlag], 2012
e20409374
eBooks Universitas Indonesia Library
Luke Ong, editor
This book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The...
Berlin: [, Springer-Verlag], 2012
e20410041
eBooks Universitas Indonesia Library
London: Nort-Holland Publishing Company, 1973
511.3 TRU
Buku Teks SO Universitas Indonesia Library
