Search Result Save to File Save as CSV
Your search for 38362 returns 4245 document(s)
OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 5-8
Author: Ian Horrocks; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3668) Hal 1-4
Author: Ian Horrocks; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
OWLizr: Knowledge Representation System for Bahasa Indonesia Based on Web Ontology Language Description Logic (OWL DL) (293-298)
Author: Fariz Darari adila Alfa Krisnadhi Ruli Manurung; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
OWLIZR: Sistem representasi pengetahuan teks bahasa indonesia berbasis web ontology language description logic (OWL DL)
Author: Fariz Darari; | Call Number: SK-0834 (Softcopy SK-316) Source code SK-278 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Test instance generation for max 2sat (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 787-791
Author: Mistuo Motoki; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
HYPROLOG: A new logic programming language with assumptions and abduction, (LNCS-Lecture Notes in Computer Science 3668) Hal 159-173
Author: Henning Christiansen; Veronica Dahl; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Preference Reasoning, (LNCS-Lecture Notes in Computer Science 3668) Hal 5-8
Author: Francesca Rossi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Deductive logic and Description language/ Frank R. Harrison III
Author: Harrison, Frank R.; | Call Number: 511.3 Har d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Proceedings third annual symposium on logic in computer science July 5-8, 1988
Call Number: SEM-045 | Type: Prosiding Seminar
Find Similar |  Add To Favorites |  Detail in New Window 
Incremental algorithms for local search from existential second-order logic, (LNCS-Lecture Notes in Computer Science 3709) Hal 47-61
Author: Magnus Agren; Pierre Flener; Justin Pearson; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next