Search Sciweavers | Sciweavers

1717 search results - page 28 / 344

» A Computable Spectral Theorem

159

click to vote

ECP
1997
Springer

102views Robotics» more ECP 1997»

Event Calculus Planning Revisited

15 years 10 months ago

Download www.doc.ic.ac.uk

In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...

Murray Shanahan

claim paper

Read More »

111

click to vote

FCT
2003
Springer

80views Applied Computing» more FCT 2003»

Weak Cardinality Theorems for First-Order Logic

15 years 11 months ago

Download latex-beamer.sourceforge.net

Till Tantau

claim paper

Read More »

107

click to vote

SAC
2009
ACM

91views Applied Computing» more SAC 2009»

Formalizing Desargues' theorem in Coq using ranks

16 years 22 days ago

Download dpt-info.u-strasbg.fr

ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × �...

Nicolas Magaud, Julien Narboux, Pascal Schreck

claim paper

Read More »

121

click to vote

ACCV
2006
Springer

100views Computer Vision» more ACCV 2006»

OK-Quantization Theory and Its Relationship to Sampling Theorem

15 years 12 months ago

Download www.koshi-lab.sist.chukyo-u.ac.jp

Yuji Tanaka, Takayuki Fujiwara, Hiroyasu Koshimizu...

claim paper

Read More »

click to vote

BIRTHDAY
2000
Springer

74views Applied Computing» more BIRTHDAY 2000»

Matrix-based Constructive Theorem Proving

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers