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