5570 results in Programming Languages and Applied Logic
Appendix 1 - Mathematical background
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 593-602
-
- Chapter
- Export citation
References
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 631-667
-
- Chapter
- Export citation
Index
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 668-681
-
- Chapter
- Export citation
3 - First-order logic
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 118-234
-
- Chapter
- Export citation
4 - Equality
-
- Book:
- Handbook of Practical Logic and Automated Reasoning
- Published online:
- 30 September 2009
- Print publication:
- 12 March 2009, pp 235-307
-
- Chapter
- Export citation
Python for Software Design
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp xvii-xviii
-
- Chapter
- Export citation
Python for Software Design
- How to Think Like a Computer Scientist
-
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009
Appendix
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 231-240
-
- Chapter
- Export citation
3 - Functions
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 21-34
-
- Chapter
- Export citation
12 - Tuples
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 133-146
-
- Chapter
- Export citation
16 - Classes and Functions
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 182-188
-
- Chapter
- Export citation
Contents
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp v-x
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp i-iv
-
- Chapter
- Export citation
14 - Files
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 159-171
-
- Chapter
- Export citation
6 - Fruitful Functions
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 59-72
-
- Chapter
- Export citation
15 - Classes and Objects
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 172-181
-
- Chapter
- Export citation
8 - Strings
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 82-94
-
- Chapter
- Export citation
5 - Conditionals and Recursion
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 46-58
-
- Chapter
- Export citation
17 - Classes and Methods
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 189-200
-
- Chapter
- Export citation
9 - Case Study: Word Play
-
- Book:
- Python for Software Design
- Published online:
- 05 June 2012
- Print publication:
- 09 March 2009, pp 95-102
-
- Chapter
- Export citation