Search Result Save to File Save as CSV
Your search for 36734 returns 1321 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 
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 
On Strings in Software Model Checking (19-30)
Author: Hossein Hojjat Philipp Rummer Ali Shamakhi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11
Author: I.S. Torsun; L.M. Newnham; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Multi-Valued Symbolic Model-Checking, page 371-408
Author: M. Chechik, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
A Type-Based HFL Model Checking Algorithm (136-155)
Author: Youkichi Hosoi Naoki Kobayashi Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
An integration of model checking with automated proof checking, (LNCS-Lecture Notes in Computer Science 939) Hal 84-97
Author: S. Rajan; N. Shankar; M. K. Srivas; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Infinite series
Author: Rainville, Earl D.; | Call Number: 515.243 Rai i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next