Search Result

Save to File Save as CSV

Your search for 37913 returns 89 document(s)

Embedded programming logics in HOL theorem prover, hal 18-24

Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JIKT-2-1-Mei2002-18 | Type: UI-ana Indek Artikel

The reflection theorem: a study in meta-theoretic reasoning, Hal. 375-391

Author: Lawrence C. Paulson; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem

Theorem proving untuk linear logic dan implementasinya dalam prolog

Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi

Eksplorasi formalisasi TLA+dalam theorem prover Hol

Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi

Formalization of TLA + in HOL Theorem Prover (419-422)

Author: Iis Solichah Ade Azurat; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem

Multi-point constructive search, (LNCS-Lecture Notes in Computer Science 3709) Hal 737-741

Author: J. Christopher Beck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS

Eksplorasi constructive quality model (coqualmo) dan penerapnnya pada proyek pengembangan perangkat lunak di PT EIC

Author: Yulindo; | Call Number: SK-1203 (Softcopy SK-685) Source code SK-479 | Type: Skripsi

A Simple Algorithm for Finding Frequent Elements in Streams and Bags

Author: R. M. Karp, [et all] | Type: Indeks Artikel Jurnal

A Simple mechanism for focused web harvesting, Hal. 178-189

Author: Z. Akbar and L.T. Handoko; | Call Number: SEM-303 | Type: Indeks Artikel prosiding/Sem

Simple expert vision system for recognition of bearing's defects

Author: Agustian K. Herdianta; Aulia M.T. Nasution | Call Number: JURNAL ILMU KOMPUTER DAN INFORMASI, Vol. 5 No. 1 February 2012 | Type: UI-ana Indek Artikel

Prev 1 2 3 4 5 6 7 8 9 Next