Search Result Save to File Save as CSV
Your search for 38326 returns 2749 document(s)
Techniques for scalling up analyses based on pre-interpretations, (LNCS-Lecture Notes in Computer Science 3668) Hal 280-296
Author: John P. Gallagher; Kim S. Henriksen; Gourinath Banda; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Deductive multi-valued model checking, (LNCS-Lecture Notes in Computer Science 3668) Hal 297-310
Author: Ajay Mallya; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Testing for termination with monotonicity constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 326-340
Author: Michael Coodish; Vitaly Lagoon; Peter J. Stuckey; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A well-founded semantics with disjunction, LNCS-Lecture Notes in Computer Science 3668) Hal 341-355
Author: Joao Alcantara; Carlos Viegas Damasio; Luis Moniz Pereira; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
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 
Towards a probabilistic model logic for semantic-based information retrieval, Hal. 140-151
Author: Jian-Yun Nie; | Call Number: SEM-254 | 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 
On Negation in HiLog (206-215)
Author: Kenneth A. Ross; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Linear logic in computer science
Call Number: 519.72 Lin | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Logic: a foundation for computer science
Author: Sperschneider, V.; | Call Number: 004 Spe e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   9 10 11 12 13 14 15 16 17 18  Next