Proof Patterns
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783319162492, 9783319162508

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Linear Dependence, Fields and Transcendence

Proof Patterns ◽

10.1007/978-3-319-16250-8_8 ◽

2015 ◽

pp. 65-71

Author(s):

Mark Joshi

Keyword(s):

Linear Dependence

Download Full-text

The Pigeonhole Principle

Proof Patterns ◽

10.1007/978-3-319-16250-8_3 ◽

2015 ◽

pp. 19-23

Author(s):

Mark Joshi

Keyword(s):

Pigeonhole Principle

Download Full-text

Counterexamples

Proof Patterns ◽

10.1007/978-3-319-16250-8_20 ◽

2015 ◽

pp. 173-180

Author(s):

Mark Joshi

Download Full-text

Equivalence Extension

Proof Patterns ◽

10.1007/978-3-319-16250-8_10 ◽

2015 ◽

pp. 81-95

Author(s):

Mark Joshi

Download Full-text

Induction and Complete Induction

Proof Patterns ◽

10.1007/978-3-319-16250-8_1 ◽

2015 ◽

pp. 1-9

Author(s):

Mark Joshi

Download Full-text

Formal Equivalence

Proof Patterns ◽

10.1007/978-3-319-16250-8_9 ◽

2015 ◽

pp. 73-80

Author(s):

Mark Joshi

Keyword(s):

Formal Equivalence

Download Full-text

Games

Proof Patterns ◽

10.1007/978-3-319-16250-8_18 ◽

2015 ◽

pp. 147-150

Author(s):

Mark Joshi

Download Full-text

The Matching Problem

Proof Patterns ◽

10.1007/978-3-319-16250-8_17 ◽

2015 ◽

pp. 143-145

Author(s):

Mark Joshi

Keyword(s):

Matching Problem

Download Full-text

Specific-generality

Proof Patterns ◽

10.1007/978-3-319-16250-8_12 ◽

2015 ◽

pp. 105-108

Author(s):

Mark Joshi

Download Full-text

Divisions

Proof Patterns ◽

10.1007/978-3-319-16250-8_4 ◽

2015 ◽

pp. 25-31

Author(s):

Mark Joshi

Download Full-text