Search Result

Save to File Save as CSV

Your search for 36708 returns 301 document(s)

Minimum and Maximum Predicates in Logic Programming (154-163)

Author: Sumit Ganguly Sergio Greco Carlo Zaniolo; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem

Inference of Inequality Constraints in Logic Programs (227-240)

Author: Alexander Brodsky Yehoshua Sagiv; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem

Absorptive Capacity Perspective on Service-Logic Innovation (296-306)

Author: Heiko Gebauer Timo Rintamaki; | Call Number: SEM-331 | Type: Indeks Artikel prosiding/Sem

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

Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking

Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal

Proof Nets for Unit-Free Multiplicative-Additive Linear Logic, page 784-842

Author: D. J. D. Hughes, [et all] | Type: Indeks Artikel Jurnal

Mechanizing logic in an aspect oriented atrribute grammar system, hal 77-83

Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 2 Mei 2003 | Type: UI-ana Indek Artikel

TRENDS IN… A CRITICAL REVIEW on the role of logic in information retrieval, page 1

Author: Fabrizio Sebastiani | Type: Indeks Artikel Jurnal

Nonmonotonic logic for use in information retrieval: an exploratory paper, page 35

Author: C.D. Hurt | Type: Indeks Artikel Jurnal

Logic as grammar: an approach to meaning in natural language/ Norbert Hornstein

Author: Hornstein, Norbert; | Call Number: 415 Hor l | Type: Buku

Prev 11 12 13 14 15 16 17 18 19 20 Next