Search Result
Save to File
Your search for
52303
returns
1916
document(s)
Logics of programs : proceedings 1981
Call Number: 004 Log | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Proving programs correct
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Testing for termination with monotonicity constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 326-340
Author: Michael Coodish; Vitaly Lagoon; Peter J. Stuckey; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138
Author: William P. de Roever; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
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
Prev
7
8
9
10
11
12
13
14
15
16
Next