Search Result
Save to File
Your search for
36708
returns
301
document(s)
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
Introduction to logic
Author: Pospesel, Howard; | Call Number: 511.3 Pos i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Mathematical logic
Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
The logic of programming
Author: Hehner, C.R.; | Call Number: 005.1 Heh l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic programming
Call Number: 005.115 Log | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Computing logic with logic programming with prolog
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Computing with logic: logic programming with prolog
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku
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
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
Prev 1
2
3
4
5
6
7
8
9
10
Next