| Your search for 36719 returns 363 document(s) |
| A New clausal class decisable by hyperresolution, Hal. 260-274 |
|
Author: Lilia Georgieva; Ulrich Hustadt, Renate A. Schmidt; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Iterative Dynamic Programming: A New Class of Query Optimization Algorithms |
|
Author: D. Kossmann, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hyperbanyan networks: a new class of networks for distributed-memory multiprocessors, Hal. 254-261 |
|
Author: Clayton S. Ferner; Kyungsook Y. Lee; | Call Number: SEM-173 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clausal form logic |
|
Author: Richards, Tom; | Call Number: 006.3 Ric c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Don't be undersold: a new class of European discounters have U.S. retailers squarely in their sights, page 90 |
|
Author: Jan-Benedict E.M. Steenkamp and Nirmayla Kumar | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New approach to belief modelling, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942), Hal. 196-212 |
|
Author: V.N. Hynh, Y.Nakamori, T. Murai, and TB. Ho; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Clausal form logic: an introduction to the logic of computer reasoning |
|
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Improving Speed and Precision in Phrase based Indexing by Clausal Segmentation (41-45) |
|
Author: C.H-Lee
H.-J.Kim
M.-G.Jang; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| "World-class bull, page 35" |
|
Author: "John Humphreys, Zafar U. Ahmed and Mildred Pryor" | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11 |
|
Author: I.S. Torsun; L.M. Newnham; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result