First Page | Document Content | |
---|---|---|
![]() Date: 2010-05-10 07:17:13Logical syntax Formal languages Boolean algebra Well-formed formula Propositional calculus Logical connective Modal depth FO Logic Mathematical logic Modal logic | Add to Reading List |
![]() | The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago FigueiraDocID: 1fP41 - View Document |
![]() | Source depth estimation using modal decomposition and time-frequency representations Gr´egoire Le Touz´e, Barbara Nicolas, Jean-Louis Lacoume and J´erˆome Mars Dominique FattaccioliDocID: 18KTr - View Document |
![]() | /home/lwb/beta/doc/ref/ref_lwb2.dviDocID: 15Ax3 - View Document |
![]() | /home/lwb/beta/doc/ref/ref_lwb2.dviDocID: 15hWC - View Document |
![]() | /home/lwb/beta/doc/ref/ref_lwb2.dviDocID: 14ziT - View Document |