internetboekhandel.nl
buttons Home pagina Kassa pagina, Winkelwagentje Contact info Email ons
leeg Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Home pagina Rijks
Boekenweek
Rijks Home pagina Home pagina Kassa pagina, Winkelwagentje Contact info Email ons Besteller 60
 
Nederlands Buitenlands   Alles  Titel  Auteur  ISBN        
Exacte wetenschappen
Exacte wetenschappen/natuurwetenschappen algemeen

Reiner Hahnle

Automated Deduction in Multiple-Valued Logics

€ 130.20


BL The first book on this subject - fully self-contained and unified approachThe author has developed here a unified approach to automated reasoning in multiple-valued logics (MVL). The book also contains complete accounts of other approaches to this problem - making this the first ever overview of this area of automated reasoning.



Taal / Language : English

Extra informatie: 
Hardback
182 pagina's
Januari 1994
Oxford University Press us


Langere levertijd