Search Sciweavers | Sciweavers

2 search results - page 1 / 1

» Introduction to the Technical Communications of the 26th Int...

click to vote

ICLP
2010
Springer

107views Automated Reasoning» more ICLP 2010»

Introduction to the Technical Communications of the 26th International Conference on Logic Programming

14 years 27 days ago

Download drops.dagstuhl.de

Manuel V. Hermenegildo, Torsten Schaub

claim paper

Read More »

click to vote

ICLP
2010
Springer

250views Automated Reasoning» more ICLP 2010»

A Logical Paradigm for Systems Biology (Invited Talk)

14 years 2 months ago

Download drops.dagstuhl.de

[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...

François Fages

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers