::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Mirza Razoki, author

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

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak

Octovianus Andriato, author

Depok: Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 1998

S26954

UI - Skripsi Membership  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

Sjarif Abdat, author

Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1987

S27224

UI - Skripsi Membership  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

Eva Magdalena M., author

Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997

S26968

UI - Skripsi Membership  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

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...

Berlin: Springer, 2012

e20409326

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak

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...

Berlin: Springer-Verlag, 2012

e20410089

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak

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),...

Berlin: Springer-Verlag, 2012

e20410445

eBooks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak

Bundy, Alan, author

London: Academic Press, 1983

511.3 BUN c

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit

Wos, Larry, author

New Jersey: Prentice-Hall, 1988

006.3 WOS a

Buku Teks  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit