Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Resenha
|
Logic Column 18: Alternative Logics: A Book ReviewPucella, RiccardoarXiv.org, 2007Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
2 |
Material Type: Resenha
|
Linear Logic in Computer ScienceAndrzej S. MurawskiThe Bulletin of Symbolic Logic, 2006, Vol.12 (2), p.297-299 [Periódico revisado por pares]Association for Symbolic LogicTexto completo disponível |
|
3 |
Material Type: Resenha
|
Book review "The Haskell Road to Logic, Maths and Programming"Laemmel, Ralf2005Texto completo disponível |
|
4 |
Material Type: Resenha
|
Logic in computer science; proceedingsScitech Book News, 2009, Vol.33 (4)Portland: Copyright Clearance CenterTexto completo disponível |
|
5 |
Material Type: Resenha
|
Linear logic in computer scienceScitech Book News, 2005, Vol.29 (4)Portland: Copyright Clearance CenterTexto completo disponível |
|
6 |
Material Type: Resenha
|
Logic in computer science; proceedingsScitech Book News, 2003, Vol.27 (3)Portland: Copyright Clearance CenterTexto completo disponível |
|
7 |
Material Type: Resenha
|
Logic in Computer Science: Modelling and Reasoning about SystemsGoranko, ValentinJournal of Logic, Language, and Information, 2007, Vol.16 (1), p.117-120 [Periódico revisado por pares]SpringerTexto completo disponível |
|
8 |
Material Type: Resenha
|
Logic in computer science (LICS 2005); proceedingsScitech Book News, 2005, Vol.29 (3)Portland: Copyright Clearance CenterTexto completo disponível |
|
9 |
Material Type: Resenha
|
Logic in computer science (LICS 2004); proceedingsScitech Book News, 2004, Vol.28 (3)Portland: Copyright Clearance CenterTexto completo disponível |
|
10 |
Material Type: Resenha
|
Temporal Logics in Computer Science — Finite-State SystemsPinchinat, SophieStudia Logica: An International Journal for Symbolic Logic, 2019, Vol.107 (5), p.1083-1088 [Periódico revisado por pares]SpringerTexto completo disponível |