Search Result
Save to File
Your search for
48037
returns
1393
document(s)
Evaluation and NLP (626-632)
Author: Didier Nakache Elisabeth Metais Jean Francois Timsit; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A Logic for Object-Oriented Logic Programming (Maier's O-Logic: Revisited) (379-393)
Author: Michel Kifer James Wu; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Clausal form logic: an introduction to the logic of computer reasoning
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Embedding lax logic into intuitionistic logic, Hal. 78-93
Author: Uwe Egly; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic programming and knowledge engineering
Author: Amble, Tore; | Call Number: 005.1 Amb l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Call Number: 6(2005): 4 | Type: Jurnal/ Majalah
Find Similar
|
Add To Favorites
|
Detail in New Window
CMOS logic databook
Call Number: 621.397 32 CMO | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic, automata algorithms
Author: Aiserman, Mark A.; | Call Number: 511.3 Ais l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Introduction to logic programming
Author: John Hogger, Christopher; | Call Number: 005.115 Joh i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Digital/logic electronic handbook
Author: Hunter, William L.; | Call Number: R. 621.381 5 Hun d | Type: Buku Referensi
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
8
9
10
11
12
13
14
15
16
17
Next