Search Result
Save to File
Your search for
6257
returns
1590
document(s)
Symobolic logic 5th ed/ Irving M. Copi
Author: Copi, Irving M.; | Call Number: 511.3 Cop s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An Introduction to non-classical logic/ Graham Priest
Author: Priest, Graham; | Call Number: 511.3 Pri i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Theorem proving untuk linear logic dan implementasinya dalam prolog
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Lightweught Functional Logic Meta-Programming (225-243)
Author: Nada Amin William E.Byrd Tiark Rompf; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Modular Acyclicity and Tail Recursion in Logic Programs (92-101)
Author: Kenneth A.Ross; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Minimum and Maximum Predicates in Logic Programming (154-163)
Author: Sumit Ganguly Sergio Greco Carlo Zaniolo; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Inference of Inequality Constraints in Logic Programs (227-240)
Author: Alexander Brodsky Yehoshua Sagiv; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Absorptive Capacity Perspective on Service-Logic Innovation (296-306)
Author: Heiko Gebauer Timo Rintamaki; | Call Number: SEM-331 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47
Author: Jean-Francois Raskin; Pierre-Yves Schobbens; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Compiler design in c
Author: Holub, Allen I; | Call Number: 005.453 Hol c | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
17
18
19
20
21
22
23
24
25
26
Next