Your search for 10706 returns 3570 document(s) |
Logic for problem solving |
Author: Kowalski, Robert; | Call Number: 519.7 Kow l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Data structures and other objects: a second couse in computer science/Michael Main;Walter Savitch |
Author: Main, Michael; | Call Number: 005.73 Mai d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for computer computer scientist |
Author: Schoning, Uwe; | Call Number: 511.3 Sch l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Theorem proving untuk linear logic dan implementasinya dalam prolog |
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Natural Language Understanding and Logic Programming II/ edited by V. Dahl and P Saint-Dizier |
Call Number: 006.35 Nat | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Implementing a hidden markov model speech recognition system in programmable logic, (LNCS-Lecture Notes in Computer Science 2147) Hal 81-90 |
Author: Stephen J. Melnikoff; Steven F.Quigley; Martin J. Russell; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The evolution of programmable logic: past, present, and future predictions, (LNCS-Lecture Notes in Computer Science 2147) Hal 461-461 |
Author: Bill Carter; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Nonmonotonic logic programs for the semantic web, (LNCS-Lecture Notes in Computer Science 3668) Hal 446-447 |
Author: Roman Schindlauer; | Call Number: 005.133 Gab l | 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 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
|
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
|