Search Result
Save to File
Your search for
38316
returns
2749
document(s)
Practical higher-order pattern unification with on-the-fly raising, (LNCS-Lecture Notes in Computer Science 3668) Hal 371-386
Author: Gopalan Nadathur; Natalie Linnell; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
A generic framework for the analysis and specialization of logic programs, ( (LNCS-Lecture Notes in Computer Science 3668) Hal 407-409
Author: German Puebla; Elvira Albert; Manuel Hermenegildo; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Solving for set variables in higher-order theorem proving, Hal. 408-414
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Towards a semantic annotation of english television news- building and evaluating a constraint grammar framenet (hal 60 - 69)
Author: Eckhard Bick; | Call Number: SEM-308 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Symbolic support graph: a space efficient data structure for incremental tabled evaluation, (LNCS-Lecture Notes in Computer Science 3668) Hal 235-249
Author: Diptikalyan Saha; C.R. Ramakrishnan; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Computer problem solving
Author: "Watkins, R.P."; | Call Number: 004.61 Wat c | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Problem solving and computer programming
Author: Grogono, Peter; | Call Number: 005.133 Gro p | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Problem solving and computer programming
Author: Grogono, Peter; | Call Number: 519.4 Gro p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Update on seed seed-192/256, (LNCS-Lecture Notes in Computer Science 5576) Hal. 1-10
Author: Kitae Jeong; Joongeun Choi; Yoseop Lee; Changhoon Lee; Jacchul Sung; Haeryong Park; Yeonjung Kang; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Adaptive iris segmentation, (LNCS-Lecture Notes in Computer Science 5576) Hal. 90-99
Author: Rahib Abiyev; Kemal Kilic; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
7
8
9
10
11
12
13
14
15
16
Next