| Your search for 13295 returns 3870 document(s) |
| Proof Nets for Unit-Free Multiplicative-Additive Linear Logic, page 784-842 |
|
Author: D. J. D. Hughes, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic proof, and sets/ Marvn L. Bittinger |
|
Author: Bittinger, Marvin L.; | Call Number: 511.3 Bit l | Type: Buku
|
|
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
|
| Linear logic in computer science |
|
Call Number: 519.72 Lin | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Information system behavior specification by high-level petri nets, page 380 |
|
Author: Andreas O. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Connection-based proof search in propositional BI logic, Hal. 111-128 |
|
Author: Didier Glamiche; Daniel Mery; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| Theorem proving untuk linear logic dan implementasinya dalam prolog |
|
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New Proof of An Identity of Jetter and Stockler for Multivariate Bernstein Polynomials, page 297-301 |
|
Author: U. Abel, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining proof-search and conter-model construction for dciding godel-dummett logic, Hal. 94-110 |
|
Author: Dominique Larchey-Wendling; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result