Old Web
English
Sign In
Acemap
>
Paper
>
MetTeL: A Generic Tableau Prover.
MetTeL: A Generic Tableau Prover.
2011
Dmitry Tishkovsky
Renate A. Schmidt
Mohammad Khodadadi
A. Miller
R Kirwan
Keywords:
Automated theorem proving
Algorithm
Automated reasoning
Gas meter prover
Automated proof checking
Model checking
Discrete mathematics
Mathematics
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]