Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Abstraction, Refinement and Proof for Probabilistic Systems

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Inductive Logic Programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

AI 2005 Advances in Artificial Intelligence : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings, Part II

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Judul Seri :
No. Panggil : 005.131
Ketersediaan : E Book

Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 005.1015113
Ketersediaan : E Book

Algorithmic Learning Theory : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Developments in Language Theory : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings

Judul Seri :
No. Panggil : 005.131
Ketersediaan : E Book

Machine Learning and Data Mining in Pattern Recognition : 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Fundamentals of Computation Theory : 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book

Transactions on Rough Sets III

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Judul Seri :
No. Panggil : 005.1015113
Ketersediaan : E Book

Constructing Correct Software

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

Judul Seri :
No. Panggil : 005.131
Ketersediaan : E Book

Conceptual Structures Common Semantics for Sharing Knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings

Judul Seri :
No. Panggil : 003.54
Ketersediaan : E Book

Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 231 dari pencarian Anda melalui kata kunci: Subject : "LOGIKA FORMAL"
Saat ini anda berada pada halaman 8 dari total 12 halaman
Permintaan membutuhkan 0.00327 detik untuk selesai

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog