| Your search for 36539 returns 1627 document(s) |
| On Useful relative information measures of order Ɋ and type ß |
|
Author: Satish Kumar, Arun Choudhary, Gurdas Ram, Vishal Gupta | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A type system for CHR,( (LNCS-Lecture Notes in Computer Science 3668) Hal 402-403 |
|
Author: Emmanuel Coquery; Francois Fages; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The type theory of PL.Cv3, (LNCS-Lecture Notes in Computer Science 999) Hal. 72-93 |
|
Author: Robert J. Constable; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Basic simple type theory: camridge tracts in theoretical computer science |
|
Author: Hindley, J. Roger; | Call Number: 005.13 Hin b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Type Systems for Querying Class Hierarchies wiht Non-Strict Inheritance (394-400) |
|
Author: Alexander Borgida; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Informational Cascades, Type of Technology and Adoption of E-Commerce: an Experimental Study (264-271) |
|
Author: Arif Perdana
Didi Achjari; | Call Number: SEM-331 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference (46-57) |
|
Author: Atsushi Ohori
Peter Buneman
Val Breazu-Tannen; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Complete Answer Aggregates for Tree-Like Databases: A Novel Approach to Combine Querying and Navigation, page 161-215 |
|
Author: Holger Meuss, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the relation between answer set and sat procedures (or, between cmodels and smodels),(LNCS-Lecture Notes in Computer Science 3668) Hal 37-51 |
|
Author: Enrico Giunchiglia; Marco Maratea; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards an integration of answer set and constraint solving, (LNCS-Lecture Notes in Computer Science 3668) Hal 52-66 |
|
Author: S. Baselice; P.A. Bonatti; M. Gelfond; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result