Ditemukan 9 dokumen yang sesuai dengan query
Mirza Razoki
"
Tugas aKhir ini membahas salah satu aplikasi dari teknik-teknik "Automated Reasoning Program", yaitu dalam melakukan eksekusi simbolik suatu program, dan implementasinya dalam bahasa pemograman PROLOG ...
"
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988
S26935
UI - Skripsi Membership Universitas Indonesia Library
Octovianus Andriato
Depok: Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 1998
S26954
UI - Skripsi Membership Universitas Indonesia Library
Sjarif Abdat
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1987
S27224
UI - Skripsi Membership Universitas Indonesia Library
Eva Magdalena M.
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
S26968
UI - Skripsi Membership Universitas Indonesia Library
"
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint ...
"
Berlin: Springer, 2012
e20409326
eBooks Universitas Indonesia Library
"
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics, program abstraction and logics, data structures and synthesis, security, (non) termination and automata, program ...
"
Berlin: Springer-Verlag, 2012
e20410089
eBooks Universitas Indonesia Library
"
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research ...
"
Berlin: Springer-Verlag, 2012
e20410445
eBooks Universitas Indonesia Library
Bundy, Alan
London: Academic Press, 1983
511.3 BUN c
Buku Teks Universitas Indonesia Library
Wos, Larry
New Jersey: Prentice-Hall, 1988
006.3 WOS a
Buku Teks SO Universitas Indonesia Library
