Search results

Articles (3)

Journals (0)

1-3 of 3 results for connection tableaux

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2010-5

SOLAR: An automated deduction system for consequence finding

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2000-12

Stéphane Demri, Jarosław Stepaniuk

Fundamenta Informaticae

Retricted access

Research article

First published 1991

Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle

Fundamenta Informaticae