Search Sciweavers | Sciweavers

1670 search results - page 11 / 334

» On Skolemization in constructive theories

270

click to vote

LCC
1994

193views Algorithms» more LCC 1994»

Expressing Computational Complexity in Constructive Type Theory

15 years 10 months ago

Download ce.sharif.edu

Robert L. Constable

claim paper

Read More »

154

click to vote

GRC
2007
IEEE

110views Applied Computing» more GRC 2007»

A New Method for Constructing Decision Tree Based on Rough Set Theory

15 years 10 months ago

Download www.academypublisher.com

Longjun Huang, Minghe Huang, Bin Guo, Zhiming Zhua...

claim paper

Read More »

139

click to vote

IFIPTCS
2000

97views Theoretical Computer Science» more IFIPTCS 2000»

Theory and Construction of Molecular Computers

15 years 9 months ago

Download www.jsps.go.jp

Masami Hagiya

claim paper

Read More »

click to vote

ECIS
2004

77views Information Technology» more ECIS 2004»

Grounding through operationalization: constructing tangible theory in IS research

15 years 7 months ago

Download is2.lse.ac.uk

Pär J. Ågerfalk

claim paper

Read More »

157

click to vote

DLT
1997

85views Theoretical Computer Science» more DLT 1997»

Recursive Constructions in the Theory of P.I. Algebras

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers