Search Sciweavers | Sciweavers

9145 search results - page 367 / 1829

» Description Logic Systems

122

click to vote

JERIC
2002

108views more JERIC 2002»

Logisim: a graphical system for logic circuit design and simulation

15 years 6 months ago

Download www.citidel.org

Carl Burch

claim paper

Read More »

139

click to vote

JBI
2010

96views Bioinformatics» more JBI 2010»

Evaluation of probabilistic and logical inference for a SNP annotation system

15 years 5 months ago

Download sigpubs.biostr.washington.edu

Terry H. Shen, Peter Tarczy-Hornoch, Landon Detwil...

claim paper

Read More »

162

click to vote

JELIA
2010
Springer

211views Artificial Intelligence» more JELIA 2010»

Counter Systems for Data Logics

15 years 5 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri

claim paper

Read More »

137

click to vote

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

15 years 5 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

click to vote

CORR
2010
Springer

70views Education» more CORR 2010»

Bounded Reachability for Temporal Logic over Constraint Systems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers