Search Result Save to File Save as CSV
Your search for 53953 returns 2200 document(s)
Handbook of automated reasoning vol. 1/editor Alan Bobinson and Andrei Voronkov
Call Number: 006.3 Han | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Solving Induction Reasoning Problems in Mathematics: Not-so Trivial Pursuit, page 249-298
Author: Lisa A. Haverty, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
An access control model supporting periodicity contraints and temporal reasoning
Author: Elisa Bertino | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Perancangan problem-solving environment menggunakan case-based reasoning, Hal. A46-A49
Author: Jaidan Jauhari; Abdiansyah; | Call Number: SEM-300 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Semi quantitative reasoning: a sound estimation to software project planning, HAL. 376-380
Author: Madhuri A. Potey; Vaishali S. Deshmukh; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
System description: the math web software bus for distribution mathematical reasoning, Hal. 139-149
Author: Jurgen Zimmer; Michael Koblhase; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Reasoning by symmetry and function oerdeing in finite model generation, Hal. 226-240
Author: Gilles Audemard; Belaid Benhanmou; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Preference reasoning, (LNCS-Lecture Notes in Computer Science 3709) Hal 9-12
Author: Francesca Rossi; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Preference Reasoning, (LNCS-Lecture Notes in Computer Science 3668) Hal 5-8
Author: Francesca Rossi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Case base reasoning for knowledge management systems of human resource management, 56
Call Number: SEM-349 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   16 17 18 19 20 21 22 23 24 25  Next