Ditemukan 15 dokumen yang sesuai dengan query
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
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
Michael J. Dinneen, editor
"
The research interests of Cristian Calude are reflected in the topics covered by the 32 papers included in this book, namely, algorithmic information theory, algorithms, automata and formal languages, computing and natural sciences, computability and applications, logic and applications, philosophy of computation, physics and computation, and unconventional models of computation. They have been organized into four parts. The first part consists of papers discussing his life achievements. This is followed by papers in the three ...
"
Berlin: [Springer-Verlag, ], 2012
e20408844
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
"
This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented together with 2 invited talks are organized in five sections. The first section contains the invited contributions. The second, third and fourth sections incorporate submitted contributions to the three thematic workshops that were hosted by the colloquium and addressed the following topics, ...
"
Berlin: Springer-Verlag, 2012
e20410415
eBooks Universitas Indonesia Library
"
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related to Dexter Kozen's research. They deal with coalgebraic methods, congruence closure, the completeness of various programming logics, decision procedure for logics, alternation, algorithms and complexity, ...
"
Berlin : Springer-Verlag, 2012
e20410510
eBooks Universitas Indonesia Library
Stapleton, Gerald F.
"
Buku yang berjudul "Beginner's guide to computer logic" ini ditulis oleh Gerald F. Stapleton. Buku ini merupakan buku panduan mengenai komputer ...
"
Pennsylvania: Tab Books, 1971
R 621.395 STA b
Buku Referensi Universitas Indonesia Library
Vos, Alexis De, editor
"
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed ...
"
Berlin: [Springer-Verlag, ], 2012
e20409504
eBooks Universitas Indonesia Library
"
This book constitutes the thoroughly refereed proceedings of the First International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2011, held in Barcelona, Spain, in Juli 2011, as a workshop at IJCAI 2011, the 22nd International Joint Conference on Artificial Intelligence. The 9 revised full papers presented together with 8 revised poster papers were carefully selected during two rounds of reviewing and improvement from 32 initial submissions. The workshop promotes and fosters uptake ...
"
Berlin: Springer-Verlag, 2012
e20409921
eBooks Universitas Indonesia Library
