Search Result
| Your search for 45742 returns 2964 document(s) |
| Evaluasi counterfactual menggunakan tabling gabungan pada abduction dan updating program logika serta aplikasinya pada bidang machine ethics |
| Author: Adam Jordam; | Call Number: SK-1588 (Softcopy Sk-1070) | Edition: Ari Sapta Wijaya | Type: Skripsi |
| Find Similar | Add To Favorites | Detail in New Window |
| Tabling Gabungan pada Abduction dan Updating Program Logika |
| Author: Ammar Fathin Sabili; | Call Number: SK-1548 (Softcopy SK-1030) Sourcoce code SK-623 | Edition: Ari Saptawijaya | Type: Skripsi |
| Find Similar | Add To Favorites | Detail in New Window |
| Intelligent Agents via Joint Tabling of Logic Program Abduction and Updating. Hal 4654-470 |
| Author: Ammar Fathin Sabili, Ari Saptawijaya, Luis Moniz Pereira; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Tabling Optimization for Contextual Abduction |
| Author: Ridhwan Dewoprabowo; | Call Number: TR-CSUI/ 002-2020 | Type: Technical Report |
| Find Similar | Add To Favorites | Detail in New Window |
| Tabling dan Answer Subsumption pada Contextual Abduction |
| Author: Syukri Mulia Adil Perkasa; | Call Number: SK-1563 (Softcopy SK-1045 | Edition: Ari Saptawijaya | Type: Skripsi |
| Find Similar | Add To Favorites | Detail in New Window |
| Tabling with Interned Terms on Contextual Abduction |
| Author: Muhammad Okky Ibrohim; | Call Number: TR-CSUI/ 002-2018 | Type: Technical Report |
| Find Similar | Add To Favorites | Detail in New Window |
| Tabling in Contextual Abduction with Answer Subsumption. Hal 459-465 |
| Author: Syukri Mullia Adil Perkasa, Ari Saptawijaya, Luis Moniz Pereira; | Call Number: SEM-372 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Programming machine ethics |
| Author: Pereira, Luis Moniz; | Call Number: 170 Per p | Type: Buku |
| Find Similar | Add To Favorites | Detail in New Window |
| Pemodelan actual causality dengan contextual abduction dalam pemrograman logika |
| Author: Degoldie Sonny; | Call Number: SK-1758 Softcopy SK-1240 Sourcode SK-703 | Edition: Ari Saptawijaya | Type: Skripsi |
| Find Similar | Add To Favorites | Detail in New Window |
| Verifikasi program perkalian matriks persegi menggunakan logika hoare |
| Author: Anggha Satya Nugraha; | Call Number: T-0982 (Softcopy T-0691) Source Code T-0141 | Edition: 2012 | Type: Tesis |
| Find Similar | Add To Favorites | Detail in New Window |
| Prev 1 2 3 4 5 6 7 8 9 10 Next |