Search Result
Save to File
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