Your search for 36539 returns 1627 document(s) |
Logic in computer science: modelling and reasoning about systems |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Fuzzy reasoning in decision making and optimization/ Christer Carlsson |
Author: Carsson, Christer; | Call Number: 511.3 Car f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated reasoning: introduction and applications/ Larry Wos |
Author: Woss, Larry; | Call Number: 006.3 Aut | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The computer modelling of mathematical reasoning/ Alan Bundy |
Author: Bundy, Alan; | Call Number: 006.3 Bun c | Edition: Fourth edition [4th ed.] | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Heuristic reasoning about uncertainty: an artificial intelligence approach |
Author: Cohen, Paul R.; | Call Number: 006.3 Coh h | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Planning and understanding: a computational approach to human reasoning |
Author: Wilenski, Robert; | Call Number: 154.24 Wil p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Analysis of image retrieval behavior for metadata type image database, page 723 |
Author: Toru F. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A type-theoretic approach to higher-order modules with sharing,Hal 123-137 |
Author: Robert Harper; Mark Lillibridge; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Deriving algorithms from type inference systems: application to strictness analysis,Hal 202-212 |
Author: Chris Hankin; Daniel Le Metayer; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|