Search Sciweavers | Sciweavers

9145 search results - page 362 / 1829

» Description Logic Systems

155

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 11 months ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

198

click to vote

DAC
1995
ACM

135views Computer Architecture» more DAC 1995»

Parallel Logic Simulation of VLSI Systems

15 years 11 months ago

Download www.cs.wustl.edu

Roger D. Chamberlain

claim paper

Read More »

182

click to vote

EPS
1995
Springer

126views Artificial Intelligence» more EPS 1995»

An Adaptive Inductive Logic Programming System Using Genetic Programming

15 years 11 months ago

Download cptra.ln.edu.hk

Man Leung Wong, Kwong-Sak Leung

claim paper

Read More »

184

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 11 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

185

click to vote

BIRTHDAY
2005
Springer

101views Applied Computing» more BIRTHDAY 2005»

Modelling Evolvable Systems: A Temporal Logic View

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers