Ditemukan 17 dokumen yang sesuai dengan query
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....
Berlin: [Springer-Verlag, ], 2012
e20408844
eBooks 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...
Berlin: [Springer-Verlag, ], 2012
e20409504
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
Boston: Kluwer Academic , 1995
511.3 NON
Buku Teks Universitas Indonesia Library
Melo-Pinto, Pedro, editor
This book comprises the papers from Eurofuse 2011 Workshop on fuzzy methods for knowledge-based systems. The workshop is devoted to fuzzy methods for knowledge-based systems. And has the goal to bring together researchers and practitioners developing and applying fuzzy techniques in preference modelling and decision making in an informal atmosphere....
Berlin: Springer-Verlag, 2011
e20397869
eBooks Universitas Indonesia Library
Finkel, Alain, editor
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions...
Berlin: [, Springer-Verlag], 2012
e20409295
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...
Berlin: Springer-Verlag, 2012
e20409921
eBooks Universitas Indonesia Library
