User:Kaustuv/ip

From Wikipedia, the free encyclopedia

This page is a user's work in progress page, not an article, and may be incomplete and/or unreliable. The current version of this article is located at User:Kaustuv/ip.

Contents 1 Random 2 French castles 2.1 Related 3 logic conferences 4 j-lit 5 Proof theory articles

[edit] Random

• /Peano axioms

[edit] French castles

{{User:Kaustuv/ip/Infobox Château}}

[edit] Related

• List of castles in France
• User:Emeraude/Castles
• User:M-le-mot-dit/draft

• Liste des châteaux français
  • Liste des châteaux français par départements
  • Liste des châteaux français par régions
  • Liste des châteaux français par périodee

[edit] logic conferences

• Federated Logic Conference
  • rd: FLoC
  • dab: floc)
• IEEE Symposium on Logic in Computer Science
  • rd: Logic in Computer Science
  • dab: LICS
• International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
  • rd: TABLEAUX
  • rd: Automated Reasoning with Analytic Tableaux and Related Methods
• Theorem Proving in Higher Order Logics
  • rd: TPHOLs
• International Joint Conference on Automated Reasoning
  • IJCAR
• International Conference on Logic Programming
  • dab: ICLP
• Computer Aided Verification
  • dab: CAV

[edit] j-lit

• User:Kaustuv/cj
• User:Kaustuv/hyl User:Kaustuv/Hyakunin Isshu

Ogura Hyakunin Isshu
Poets	1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100
Shūka	(53) (73) (90)
Related	Kimariji   Kyogi Karuta   Shigureden

[edit] Proof theory articles

• /Focusing
• /Polarity
• /Logic of Unity