First Page | Document Content | |
---|---|---|
![]() Date: 2010-05-10 07:17:13Logical syntax Elementary mathematics Non-classical logic Formal languages Logic programming Circumscription Well-formed formula Logical connective Function Logic Mathematics Mathematical logic | Add to Reading List |
![]() | Computing Fundamentals Salvatore Filippone 2012–2013DocID: 1rp7J - View Document |
![]() | The Penn Discourse Treebank Eleni Miltsakaki∗ , Rashmi Prasad∗ , Aravind Joshi∗, Bonnie Webber † ∗ University of PennsylvaniaDocID: 1rjHW - View Document |
![]() | Towards Cross-Domain PDTB-Style Discourse Parsing Evgeny A. Stepanov and Giuseppe Riccardi Signals and Interactive Systems Lab Department of Information Engineering and Computer Science University of Trento, Trento, ItalDocID: 1qZTV - View Document |
![]() | CS:APP Web Aside DATA:BOOL: More on Boolean Algebra and Boolean Rings∗ Randal E. Bryant David R. O’Hallaron June 5, 2012DocID: 1qYXB - View Document |
![]() | Destination Online Travel Reviews An argumentative and textual genre perspective A dissertation presented by Silvia De AscaniisDocID: 1qLTq - View Document |