| Your search for 13659 returns 296 document(s) |
| Set theory, logic and their limitations/ Moshe Machover |
|
Author: Macchover, Moshe; | Call Number: 511.322 Mac s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Why prolog?: justifying logic programming for practical applications |
|
Author: Lazarev, Gregory L.; | Call Number: 006.3 Laz w | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming prolog and its applications/ Bob Kowalski |
|
Author: Kowaslki, Bob; | Call Number: R. 006.3 Kow 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
|
| Logic design projects using standard integrated circuits |
|
Author: Wakerly, John F.; | Call Number: 621.391 Wak i | 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
|
| Selected problems of minization of variable-valued logic formulas |
|
Author: Cuneo, Roland Phillipe; | Call Number: 511.3 Cun s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symobolic logic 5th ed/ Irving M. Copi |
|
Author: Copi, Irving M.; | Call Number: 511.3 Cop s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Introduction to non-classical logic/ Graham Priest |
|
Author: Priest, Graham; | Call Number: 511.3 Pri i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic and computer design fundamentals 4th ed. |
|
Author: Mano, M. Morris; | Call Number: 621.395 Man l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result