Non-standard logics for automated reasoning
Philippe Smets
Although there are a few books available that give brief surveys of a variety of nonstandard logics, there is a growing need for a critical presentation providing both a greater depth and breadth of insight into these logics. This book assembles a wider and deeper view of the many potentially applicable logics. Three appendixes provide short tutorials on classical logic and modal logics, and give a brief introduction to the existing literature on the logical aspects of probability theory. These tutorials and the bibliography included in the appendixes provide useful reference material for the reader.
Kategoriler:
Yıl:
1988
Yayımcı:
Academic Press
Dil:
english
Sayfalar:
344
ISBN 10:
0126495203
ISBN 13:
9780126495201
Dosya:
PDF, 34.17 MB
IPFS:
,
english, 1988
Amazon 
Barnes & Noble 
Bookshop.org
Bir kitap dükkanı eklemek ister misiniz? Bize support@z-lib.do adresinden ulaşın
Dosyaları dönüştürün
Diğer arama sonuçları
Diğer avantajları 
