| Your search for 40567 returns 4325 document(s) |
| Probabilistic neighbourhood logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 264-275 |
|
Author: Dimitar P. Guelev; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Encoding w: a logic z in 2obj, (LNCS-Lecture Notes in Computer Science 670) Hal 462-481 |
|
Author: Andrew Martin; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safe constraint queries, Hal. 99-108 |
|
Author: Michael Benedikt; Leonid Libkin; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using sat in qbf, (LNCS-Lecture Notes in Computer Science 3709) Hal 578-592 |
|
Author: Horst Samulowitz; Fahiem Bacchus; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer-oriented calculi sequent trees, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942), Hal. 213-230 |
|
Author: Alexander Lyaletski; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
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
|
| Proof rules dealine with fairness, (LNCS-Lecture Notes in Computer Science 131) Hal. 1-8 |
|
Author: Krsystof R. Apt; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
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
|
| Safe qury languages for constraint database |
|
Author: Peter Z Revesz | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Constraint programming: suatu pendekatan dalam declarative programming |
|
Author: Dewi Mairiza | Call Number: JURNAL SISTEM INFORMASI, Vol. 1 No.1 September 2005 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result