Search Sciweavers | Sciweavers

3333 search results - page 20 / 667

» Abstract Proof Search

Voted

BIRTHDAY
2008
Springer

74views Applied Computing» more BIRTHDAY 2008»

Proof Search Tree and Cut Elimination

15 years 4 months ago

Download www.logic.at

Grigori Mints

claim paper

Read More »

click to vote

IJCAI
2007

189views Artificial Intelligence» more IJCAI 2007»

Lambda Depth-First Proof Number Search and Its Application to Go

15 years 3 months ago

Download ijcai.org

Kazuki Yoshizoe, Akihiro Kishimoto, Martin Mü...

claim paper

Read More »

click to vote

CORR
2006
Springer

96views Education» more CORR 2006»

Proof Search in Hajek's Basic Logic

15 years 2 months ago

Download tocl.acm.org

Simone Bova, Franco Montagna

claim paper

Read More »

click to vote

IEICET
2007

51views more IEICET 2007»

Proof: A Novel DHT-Based Peer-to-Peer Search Engine

15 years 2 months ago

Download www.iis.sinica.edu.tw

Kai-Hsiang Yang, Jan-Ming Ho

claim paper

Read More »

Voted

ENTCS
2002

69views more ENTCS 2002»

Isolating Resource Consumption in Linear Logic Proof Search

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers