| Your search for 3071 returns 381 document(s) |
| Formal logic: its scope and limits |
|
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logics of time and computation |
|
Author: Goldblatt, Robert; | Call Number: 160 Gol l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal logic: its scope and limits/ Richard Jeffrey |
|
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deductive logic and Description language/ Frank R. Harrison III |
|
Author: Harrison, Frank R.; | Call Number: 511.3 Har d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical software/ edited by John R. Rice |
|
Author: Rice, John R.; | Call Number: 511 Ric m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| how to read and proofs: an introduction to mathematical thought process/ Daniel Solow |
|
Author: Solow, Daniel; | Call Number: 511.3 Sol h | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to the theory of complexity |
|
Author: Bovet, Daniel Piere; | Call Number: 511.3 Bov i | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational intelligence: an introduction |
|
Author: Engelbrecht, Andries P.; | Call Number: 006.3 Eng c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Speech and language processing: an intoduction to natural language processing, computational linguistics, and speech recognition 2nd ed. |
|
Author: Jurafsky, Daniel; | Call Number: 410.285 Jur s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational logic and human thinking: how to be artificially intelligent |
|
Author: Kowalski, Robert; | Call Number: 511.3 Kow c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result