| Your search for 8304 returns 2147 document(s) |
| EVALUATION OF DATABASE RECURSIVE LOGIC PROGRAMS AS RECURRENT FUNCTION SERIES(177-189) |
|
Author: Georges GARDARIN, Christophe de MAINDREVILLE; | Call Number: SEM-360 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in computer science:Modelling and reasoning about systems 2nd ed. |
|
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic for applications second edition: graduate texts in computer science |
|
Author: Nerode, Anil; | Call Number: 005.1 Ner d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Choice and chance: an introduction to inductive logic 4th ed./ Brian Skyrms |
|
Author: Skyrms, Brian; | Call Number: 519.2 Sky c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic-based methods for optimization: combining optimization and constraint satisfaction/ John Hooker |
|
Author: Hooker, John; | Call Number: 519.72 Hoo l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of computing I: logic, problem solving programs and computers c++ edition/Allen B. Tucker |
|
Author: Tucker, Allen P.; | Call Number: 004 Tuc f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Foundations of Computing: System Development with Set Theory and Logic/ Thierry Scheeurer |
|
Author: Scheurer, Thierry; | Call Number: 004.21 Sch f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applied database logic I: fundamental database issues/ Barry E. Jacobs |
|
Author: Jacobs, Barry E.; | Call Number: 005.74 Jac a | Type: Buku
|
|
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
|
| Automation of reasoning 1: classical papers on computational logic 1957-1966 |
|
Author: Siekmann, Jorg; Wrightson, Graham ed.; | Call Number: 006.35 Sie a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result