MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Proofs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 201,191 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Proofs  
  • by E. Martinian, B. Chen, G. W. Wornell, Om Codebook — 2001
  • …1 Proofs E. Martinian, B. Chen, and G. W. Wornell Abstract--- This preprint contains a proof…
  • Add To MetaCart
  • Proof  
  • by Nan Lu, School Of Mathematics
  • … on whether m + n is odd or even. There are therefore only n + 1 different values for y. The proof…
  • Add To MetaCart
  • Proof:  
  • by Sariel Har-peled, A∩b C, Pr B C, Pr N, Pr B C — 2005
  • … ∗ . . . ∗ Pr ηn � � � � η1 ∩ . . . ∩ ηn−1 . Proof: � � � � Pr A ∩ B � C � � � � = Pr B � C � Pr[A ∩ B ∩ C] Pr…
  • Add To MetaCart
  • Proof General:  
  • by Generic Tool For, David Aspinall — 2000
  • …Proof General: A Generic Tool for Proof Development David Aspinall October 1999 LFCS, University…
  • Add To MetaCart
  • Proof by Pointing  
  • by Yves Bertot, Gilles Kahn, Laurent Théry — 1994
  • …Proof by Pointing ? Yves Bertot 1 Gilles Kahn 1 Laurent Th'ery 2 1 INRIA Sophia-Antipolis B…
  • Cited by 39 (7 self) – Add To MetaCart
  • Proof Planning  
  • by Alan Bundy January, Alan Bundy — 1996 — Proceedings of the 3rd International Conference on AI Planning Systems, (AIPS
  • …Proof Planning Alan Bundy January 28, 1998 Abstract We describe proof planning, a technique…
  • Add To MetaCart
  • Proof by Pointing  
  • by Yves Bertot Gilles, Gilles Kahn — 1994
  • …Proof by Pointing ? Yves Bertot 1 Gilles Kahn 1 Laurent Th'ery 2 1 INRIA Sophia-Antipolis B…
  • Add To MetaCart
  • Inheritance of Proofs  
  • by Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup, Fachbereich Mathematik, Lehrstuhl Fur Informatik Vii — 1996
  • …Inheritance of Proofs Martin Hofmann Wolfgang Naraschewski y Martin Steffen Terry Stroup…
  • Cited by 5 (0 self) – Add To MetaCart
  • Recording Proofs  
  • by Wai Wong — 1993 — University of Cambridge Computer Laboratory, New Museums Site
  • …Recording hol Proofs Wai Wong 30 July 1993 Abstract This paper describes a text file format…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB