Ditemukan 20 dokumen yang sesuai dengan query
Stern, Nancy B.
New York: John Wiley & Sons, 1975
001.642 STE f
Buku Teks Universitas Indonesia Library
Franciso Duran, editor
"
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: ...
"
Berlin: Springer, 2012
e20407300
eBooks Universitas Indonesia Library
California: IEEE Computer Society Press, 1990
R 004.015113 IEE p
Buku Referensi Universitas Indonesia Library
Sipahutar, Edison
Depok: Fakultas Teknik Universitas Indonesia, 1993
S38348
UI - Skripsi Membership Universitas Indonesia Library
Nguyen, Ngoc Thanh
London: Springer, 2008
658.403 8 NGU a
Buku Teks Universitas Indonesia Library
"
This book constitutes the thoroughly reviewed post-proceedings of the 8th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2011, held in Taipei, Taiwan in May 2011 in association with the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011). The 8 revised full papers taken from ArgMAS 2011. Also included are 5 invited papers based on presentations on argumentation at the AAMAS 2011 main conference. All together the 13 papers included in the ...
"
Berlin: Springer-Verlag, 2012
e20410007
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 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
Thomas Agotnes, editor
"
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, ...
"
Berlin: [Springer-Verlag, ], 2012
e20410210
eBooks Universitas Indonesia Library
Nick Bezhanishvili, editor
"
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest, language and computation, language and logic, and logic and ...
"
Berlin: [, Springer-Verlag], 2012
e20410243
eBooks Universitas Indonesia Library
Daniel Lassiter, editor
"
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. ...
"
Berlin : [Springer-Verlag, ], 2012
e20410419
eBooks Universitas Indonesia Library
