Search Result Save to File Save as CSV
Your search for 1876 returns 184 document(s)
A many-sorted calculus based on resolution and paramodulation
Author: Walther, Christoph; | Call Number: 511.3 Wal m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Design of an intelligent customer relationship system in tourism industry in Iran using evidential reasoning approach, HAL. 169-182
Author: S. Rezalian Fardael and M.A.S Monfared; | Call Number: SEM-291 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal theories of the commonsense world/ edited by Jerry R. Hobbs & Robert C. Moore
Call Number: 006.3 For | Edition: 4th ed. | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Qualitative reasoning about physical systems
Call Number: 006.6 Qua | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Automated reasoing: 33 basic research problems
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Author: Hapnes Toba; Mirna Adriani; Ruli Manurung; | Call Number: 025.04 Inf | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Data mining to build a pattern of knowledge from psychological consultation ( hal 211 - 214 )
Author: Sri Mulyana, Sri Hartati, Retantyo Wardoyo, Edi Winarko; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Automated reasoning: introduction and applications/ Larry Wos
Author: Woss, Larry; | Call Number: 006.3 Aut | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Automated reasoning: 33 basic research problems/Larry Wos
Author: Wos, Larry; | Call Number: 006.3 Wos a | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Scientific Computing
Call Number: 10 (1994): 3-4 | Type: Jurnal/ Majalah
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next