Your search for 36780 returns 313 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
|
Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
|
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
|
Computer networking with internet protocols and technology |
Author: Stallings William; | Call Number: 004.68 Sta c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Delta coherence protocols, page 23 |
Author: Craig W. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Shift protocols to agents, page 63 |
Author: Bill Joy | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer networks: protocols, standards, and interfaces |
Author: Black, Uyless D.; | Call Number: 004.6 Bla c | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Telecommunication networks: protocols , modelling and analysis |
Author: Schwartz, Mischa; | Call Number: 004.6 Sch t | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|