MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Axioms for the "Gergonne"-Relations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 633,422 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • List of Axioms and Axiom Systems  
  • by Oldalsz Amokat Ellen, Ax G Eucl(n F, Ax Obs, Ph Ib — 1199
  • ….574: (2) Axioms concerning the direction of ow of time The binary relation " Obs Obs is dened…
  • Add To MetaCart
  • Concepts and Axioms  
  • by A.S. Troelstra — 1998
  • …Concepts and axioms A.S.Troelstra Abstract The paper discusses the transition from informal…
  • Add To MetaCart
  • Axioms of incidency  
  • by Wojciech A. Trybulec — 1989 — Journal of Formalized Mathematics
  • … Science, Univ. of Białystok Axioms of Incidency Wojciech A. Trybulec Warsaw University Summary…
  • Cited by 7 (0 self) – Add To MetaCart
  • The AXIOM System  
  • by J.H. Davenport
  • …The AXIOM System J.H. Davenport School of Mathematical Sciences University of Bath Bath BA2 7AY…
  • Cited by 3 (0 self) – Add To MetaCart
  • THE AXIOM OF CHOICE  
  • by unknown authors
  • …; The Hamel basis theorem: every vector space has a basis. While the (relative) consistency of the axiom…
  • Add To MetaCart
  • Combining Induction Axioms By Machine  
  • by Christoph Walther, Technische Hochschule Darmstadt — 1993 — Proc. of Twelfth International Joint Conference on Artificial Intelligence
  • … verification problem) are combined yielding a new induction axiom. The relation implicitly defined by the new…
  • Cited by 4 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB