The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 10278 of Mathematical Reviews Vol. , Issue 2004m
[page]
2004
Mathematical Reviews
Preserved Fulltext
Nicolé Cesa-Bianchi (I-MILAN-I; Milan)
2004m:68208 68T15 03B35
He, Lifeng; Chao, Yuyan; Itoh, Hidenori (J-NIT-AI; Nagoya) R-SATCHMO: refinements on I-SATCHMO. (English summary) J. ...
Summary: “In this paper, three refinements on I-[SATCHMO are presented. ...
Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo
2005
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This articles is a structured bibliography on theorem provers, approaches to theorem proving, and theorem proving applications inspired from Satchmo, the model generation theorem prover developed in the ...
R-SATCHMO: Refinements on I-SATCHMO. Journal of Logic and Computation, Volume 14, Issue 2, pages 117-143, 2004 L. F. He, C. Yuyan, N. Tsuyoshi, and I. Hidenori. ...
R-SATCHMO: Refinements on I-SATCHMO. Journal of Logic and Computation, Volume 14, Issue 2, pages 117-143, 2004 Allan Ramsay. Theorem Proving for Constructive λ-Calculus. ...
doi:10.5282/ubm/epub.14895
fatcat:nbtjoziqbzgyvhcscu3obvnhfm
Page 1093 of Mathematical Reviews Vol. , Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
English and Japanese summaries) /PSJ J. 45 (2004), no. 5, 1335-1344. 03B35 (68T15)
— (with He, Lifeng; Chao, Yuyan) R-SATCHMO: refinements on I-SATCHMO. (English summary) J. ...
One-sided variations on interval trees. (English summary) J. Appl. Probab. 40 (2003), no. 3, 654-670. ...