Your search for 29628 returns 1257 document(s) |
Clausal form logic: an introduction to the logic of computer reasoning |
Author: Richards, Tom; | Call Number: 006.3 Ric a | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The logical basis for computer programming vol. I: deductive reasoning |
Author: Manna, Zohar; | Call Number: 519.7 Man l | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Reasoning with expressive discription logics: theory and practice, Hal. 1-15 |
Author: Ian Harrocks; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The reflection theorem: a study in meta-theoretic reasoning, Hal. 375-391 |
Author: Lawrence C. Paulson; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An application of plausible reasoning to information retrieval, Hal. 244-252 |
Author: Farhad Oroumchian; Robert N. Oddy; | Call Number: SEM-248 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
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
|
Computational intelligence: principles, techniques and applications |
Author: Konar, Amit; | Call Number: 006.3 Kon c | Type: Softcopy Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Discrete computational structures 2nd ed. |
Author: Korfhage, Robert R.; | Call Number: 004.61 Kor d | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|