| Your search for 36710 returns 508 document(s) |
| 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 New Proof of An Identity of Jetter and Stockler for Multivariate Bernstein Polynomials, page 297-301 |
|
Author: U. Abel, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Gradual approach to a more trustworthy, yet scalable, proof-carrying code, Hal. 47-62 |
|
Author: Robert R. Schneck; George C. Necula; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Small proof witnesses for LF, (LNCS-Lecture Notes in Computer Science) Hal 387-401 |
|
Author: Susmit Sarkar; Brigitte Pientka; Karl Crary; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Algorithms: the construction proof, and analysis of programs/Pierre Berlioux and Philippe Bizard |
|
Author: Berlioux, Pierre; | Call Number: 005.1 Ber a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using z specification, refinement, and proof/Jim Woodcock, Jim Davies |
|
Author: Woodcock, Jim; | Call Number: 005.113 woo u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result