| Your search for 12462 returns 3940 document(s) |
| AHP Model for Congnitive Reliability and Error Analysis Based on Probabilistic Approach (8) |
|
Author: Fabio De Felice
Antonella Petrillo
Armando Carlomusto; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining proof-search and conter-model construction for dciding godel-dummett logic, Hal. 94-110 |
|
Author: Dominique Larchey-Wendling; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
|
Author: Cori, Rene; | Call Number: 511.3 Cor m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Every Logic Program has a Natural Strafication and an Iterated Least Fixed Point Model (11-21) |
|
Author: Teodor C. Przymusinskin; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A computer model of skill acquisition/ Gerald Jay Sussman |
|
Author: Sussman, Gerlad Jay; | Call Number: 006.3 Sus c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Flexible Consistency Checking, page 28-63 |
|
Author: C. Nentwich, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrity checking for multiple updates (153-368) |
|
Author: Arding hsu, Thomas imielinski; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Transaction Management with Integrity Checking (606-615) |
|
Author: Davide Martinenghi
Henning Christiansen; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Cooperative computer-aided authoring and learning: a systems approach/edited by Max Muhlhauser |
|
Call Number: 371.334 Coo | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 3D game design: a practical approach to real-time computer grpahics |
|
Author: Eberly, David H.; | Call Number: 006.693 Ebe s | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result