MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Disproving False Conjectures." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Disproving False Conjectures  
  • by Serge Autexier, Carsten Schürmann — 2003 — Proceedings of the 10 th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, volume 2850 of LNAI
  • …Disproving False Conjectures Serge Autexier 1⋆ and Carsten Schürmann 2⋆⋆ 1 FR 6.2 Informatik…
  • Cited by 2 (2 self) – Add To MetaCart
  • SPIKE User Manual  
  • by Adel Bouhoula, Michaël Rusinowitch, Inria Lorraine — 1995 — INRIA Lorraine and CRIN
  • …. Disproving false conjectures is possible under additional hypothesis, namely that the de��ned functions…
  • Cited by 1 (0 self) – Add To MetaCart
  • User Manual  
  • by December Spike, Adel Bouhoula, Inria Lorraine — 1995 — INRIA Lorraine and CRIN
  • …. Disproving false conjectures is possible under additional hypothesis, namely that the de��ned functions…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB