Hasil Pencarian  ::  Simpan CSV :: Kembali

" 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

• Cari yang mirip
• Tambahkan ke Favorit
• Metadata PDF
• Abstrak PDF
• Abstrak