Search Result Save to File Save as CSV
Your search for 13659 returns 296 document(s)
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 
Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking
Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Proof Nets for Unit-Free Multiplicative-Additive Linear Logic, page 784-842
Author: D. J. D. Hughes, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Mechanizing logic in an aspect oriented atrribute grammar system, hal 77-83
Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 2 Mei 2003 | Type: UI-ana Indek Artikel
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   12 13 14 15 16 17 18 19 20 21  Next