<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-10-06 13:14:19Mathematics Boolean data type Negation Read–eval–print loop FO Conditional Boolean expression Boolean algebra Mathematical logic Computing |
Add to Reading List |
The ifthen package∗ David Carlisle[removed]Abstract | Computing Fundamentals Salvatore Filippone 2012–2013DocID: 1rp7J - View Document |
| Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at DresdenDocID: 1rgNC - View Document |
| SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK.DocID: 1r5cs - View Document |
| A Proposal to Add Safe Integer Types to the Standard Library Technical Report Document number: P0228R0DocID: 1r1fn - View Document |
| Microsoft Word - KEK-GRID-CERTCRLPROFdocDocID: 1r0yN - View Document |