|
Beyond two
|
Melvin Fitting |
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics … |
OL19830864W |
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management
|
Michael Fellows |
This book constitutes the refereed proceedings of the 7th International Frontiers of Algorithmics Workshop, FAW 2013, and the 9th International Conference on Algorithmic Aspects in Information and Ma… |
OL19851497W |
|
Polyhedral and Algebraic Methods in Computational Geometry
|
Michael Joswig |
<p><i>Polyhedral and Algebraic Methods in Computational Geometry</i> provides a thorough introduction into algorithmic geometry and its applications. It presents its primary topics from the viewpoint… |
OL19895655W |
|
Recent Trends in Algebraic Development Techniques
|
Narciso Martí-Oliet |
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. Th… |
OL19898953W |
|
Space in Weak Propositional Proof Systems
|
Ilario Bonacina |
1 online resource |
OL20810530W |
|
BNAIC 2016 : Artificial Intelligence
|
Tibor Bosse,Bert Bredeweg |
1 online resource (xii, 189 pages) : |
OL20919516W |