Loading...
Loading...

Go to the content (press return)

Clausal proofs and discontinuity

Author
Morrill, G.
Type of activity
Journal article
Journal
Bulletin of the IGPL
Date of publication
1995-07
Volume
3
Number
2, 3
First page
403
Last page
427
Group of research
LARCA - Laboratory of Relational Algorithmics, Complexity and Learnability

Participants