| Your search for 10396 returns 2692 document(s) |
| Solving for set variables in higher-order theorem proving, Hal. 408-414 |
|
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
|
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated Geometric Theorem Proving Diagram Generation and Applications (4) |
|
Author: Xia-shan Gao; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computabililty and logic 2nd ed. |
|
Author: Boolos, George; | Call Number: 511.3 Boo c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital logic design and applications |
|
Author: McCurdy, Lyle B.; | Call Number: 621.381 McC d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mathematical principles of fuzzy logic/Vilem Novak, Iriana Perfilieva and Jiri Mockor |
|
Author: Novak, Vilem; | Call Number: 511.3 Nov m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Designing with programmable array logic/ The technical staff of monolithic memories Inc. |
|
Author: Technical staff of monolithic memories; | Call Number: 004.35 Tec d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computing with logic: logic programming with prolog |
|
Author: Maier, David; | Call Number: 005.133 Mai c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Digital logic techniques: principles and practices |
|
Author: Stonham, C.J.; | Call Number: 621.381 Sto d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pulse and logic circuits/ Richard L. Castellucis |
|
Author: Castellucis, Richard L.; | Call Number: 621.381 534 Cas p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result