Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 4 dokumen yang sesuai dengan query
cover
Logic from computer science: proceedings of a workshop held November 13-176, 1989/ Y.N. Moschovakis, editor
New York: Springer-Verlag, 1992
511.3 LOG
Buku Teks  Universitas Indonesia Library
cover
Truth, syntax and modality : proceedings of the temple university conference on alternative semantics / Edited by Hugues Leblanc
London: Nort-Holland Publishing Company, 1973
511.3 TRU
Buku Teks  Universitas Indonesia Library
cover
Luke Ong, editor
Logic, language, information and computation : 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings
" 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 papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics ... "
Berlin: [, Springer-Verlag], 2012
e20410041
eBooks  Universitas Indonesia Library
cover
Luis Farinas del Cerro
Logics in artificial intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings
" 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 logic for artificial intelligence ... "
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20409374
eBooks  Universitas Indonesia Library