| Your search for 36710 returns 508 document(s) |
| Combinatorial search |
|
Author: Aigner, Martin; | Call Number: 005.74 Aig c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic abstraction techniques for propositional u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 12-23 |
|
Author: Abelardo Pardo; Gary D. Hachtel; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reducing inductive definitions to propositional satisfiability, (LNCS-Lecture Notes in Computer Science 3668) Hal 221-234 |
|
Author: Nikolay Pelov; Eugenia Ternovska; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Proof Theory for Generic Judgments, page 749-783 |
|
Author: D. Miller, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Faster proof cheking in the edinburgh logical framework, Hal. 392-407 |
|
Author: Aaron Stump; David L. Dill; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Focussing proof-net construction as a midleware paradign, Hal. 501-516 |
|
Author: Jean Marc Andreocoli; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof analysis by resolution (extended abstract), Hal,.417-531 |
|
Author: Matthias Baaz; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Xor based public auditing scheme for proof-of -storage |
|
Author: Changsheng Wan; Juan Zhang; | Call Number: Sem-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic proof of survivability compliance - approach and techniques, 92-96 |
|
Author: Yanjun Zuo; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Natural deduction: a proof-theoretical study/ Da Prawitz |
|
Author: Prawitz, Dag; | Call Number: 162 Pra n | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result