Search Result Save to File Save as CSV
Your search for 36708 returns 303 document(s)
Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic based decision support: mixed integer model formulation
Author: Jeroslow, Robert G.; | Call Number: 658.403 Jer l | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings third annual symposium on logic in computer science July 5-8, 1988
Call Number: SEM-045 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Pemanfaatan programmable logic controller pada proyek benar GS dan rantau bais GS
Author: MD. Azza Firdaus Yatim; | Call Number: KP-2226 (Softcopy KP-1788) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis Semantik dengan Representasi “First Order Logic” dalam Sistem Tanya Jawab
Author: Hapnes Toba; | Call Number: TR-CSUI-011-2010 | Type: Technical Report
Find Similar |  Add To Favorites |  Detail in New Window 
A Procedural Semantic for Well Founded Negation in Logic Programs (22-33)
Author: Kenneth A. Ross; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Logic Programming as Contructivism: A Formalization and its Application to Databases (34-50)
Author: Francois Bry; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Termination Detection in Logic Programs Using Argument Sizes (216-226)
Author: Kirack Sohn Allen Van Gelder; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Malicious Behavior Describe and Anlysis Using Fuzzy Logic (V1-84 -- V1-88)
Author: Zhang Yichi Pang Jianmin Guo Haoran; | Call Number: SEM-334 | 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