| Your search for 36709 returns 415 document(s) |
| Combining proof-search and conter-model construction for dciding godel-dummett logic, Hal. 94-110 |
|
Author: Dominique Larchey-Wendling; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Connection-based proof search in propositional BI logic, Hal. 111-128 |
|
Author: Didier Glamiche; Daniel Mery; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic-based methods for optimization: combining optimization and constraint satisfaction/ John Hooker |
|
Author: Hooker, John; | Call Number: 519.72 Hoo l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An on-the-fly tableau construction for a real-time temporal logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 276-290 |
|
Author: Marc Geilen; Dennis Dams; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining multisets with integers, Hal. 363-376 |
|
Author: Gologero G. Zarba; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compiler construction |
|
Author: Waite, William M.; Goos, Gerhard.; | Call Number: 005.453 Wai c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining classifiers in text categorization, Hal. 289-297 |
|
Author: Leah S. Larkey And W. Bruce Croft; | Call Number: SEM-248 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A practical guide to combining products and services, page 94 |
|
Author: Venkatesh Shanker; Leonard L. Berry, and Thomas Dotzel | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Relief: combining expressiveness and rapidity into a single system, Hal. 266-274 |
|
Author: Jadh Ounis; Marius Psca; | Call Number: SEM-250 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining SAS with FSM for palte-bending problems, Hal. 241-244 |
|
Author: Hsin-Chu Chen; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result