Your search for 40171 returns 1537 document(s) |
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
|
Temporal logic for proof-carrying code, Hal. 31-46 |
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
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
|
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
|
Algorithms: the construction, proof, and analysis of programs/Pierre Berlioux |
Author: Berlioux, Pierre; | Call Number: 005.1 Ber a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Create a proof concept for facebook messenger gateway |
Author: Muhammad Prakash Divy Isdarwanto; | Call Number: KP-2422 | Type: Kerja Praktek (KP)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proof-tree Transformation Theorems and Their Applications (172-181) |
Author: Raghu Ramakrishnan
Yehoshua Sagiv
Jeffrey D.Ulman
Moshe Y.Vardi; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|