Skip to search formSkip to main contentSkip to account menu

Jape (software)

Known as: Jape 
Jape is a configurable, graphical proof assistant, originally developed by Richard Bornat at Queen Mary, University of London and Bernard Sufrin the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Automated theorem provingFitch notationJavaMicrosoft Windows

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Les frères Nagtsang, Nülo et Japé.
A Rma chu, les freres Nagtsang : l'auteur tibetain Nagtsang Nulo (a droite) et son frere aine Jape (a gauche). Le recit d'enfance… 
2010
2010
EXTRACTING ARABIC COLLOCATIONS BASED ON JAPE RULES
The massive amount of digital information available in all disciplines has generated a critical need to organize and structure… 
2010
2010
ANALISIS BEBAN KERJA FISIKDAN WAKTU ISTIRAHAT DI PERUSAHAANKONVEKSI JAPE METHE YOGYAKARTA
Penelitian dilakukan di Perusahaan Konveksi Jape Methe. Atas dasar keterbatasan luas area kerja dan pembagian desain produk… 
2009
2009
Practising logic through the web
We present the ProofWeb system for practising natural deduction in predicate logic and for remotely working with the Coq proof… 
2007
2007
Computer generation of puns in Japanese
We have implemented a simple model of puns in a program (BOKE) which generates puns in Japanese, using linguistic information… 
2007
2007
Forward reasoning in Jape
1 Introduction 
Review
1999
Review
1999
Using computers to learn logic : undergraduates ’ experiences
The program Jape [2] allows interactive, step-by-step construction of proofs for a variety of logics. It allows a teacher some… 
1993
1993
Preliminary analysis of amplitude and phase fluctuations in the JAPE multiple tone data to distances of 500 meters
The JAPE short range data provide a good opportunity for studying phase and amplitude fluctuations of acoustic signals in the… 
Review
1993
Review
1993
Some results gained from JAPE: An overview
1993
1993
JAPE 91: Influence of terrain masking of the acoustic propagation of helicopter noise
  • P. Naz
  • 1993
  • Corpus ID: 106784327
The acoustic propagation in the case of a noise source masked by a small element of terrain has been investigated experimentally… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)