Proof theory of many-valued logic and linear optimization

Authors
Hahnle, R
Citation
R. Hahnle, Proof theory of many-valued logic and linear optimization, ADV SOFT CO, 2001, pp. 15-33
Categorie Soggetti
Current Book Contents
Journal title
COMPUTATIONAL INTELLIGENCE IN THEORY AND PRACTICE → ACNP
ISSN journal
16153871
Year of publication
2001
Pages
15 - 33
Database
ISI
SICI code
1615-3871(2001):<15:PTOMLA>2.0.ZU;2-J