Bolc, Leonard,  1934-, <br/><br/>
Many-valued logics / 
Leonard Bolc, Piotr Borowik 
 - volúmenes 
<br/><br/>Contenido: 2. Automated reasoning and practical applications 
<br/><br/><label>ISBN: </label>3540559264 3-540-64507-1 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lógica multivalente
<br/><br/><label>LC Class. No.: </label>QA9.45  / B65