Filters








3 Hits in 2.7 sec

Page 10278 of Mathematical Reviews Vol. , Issue 2004m [page]

2004 Mathematical Reviews  
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

François Bry, Rainer Manthey
2005
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  
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.  ...