This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Continue reading
Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly ...
Continue reading
This book deals with the differential geometry of manifolds, loop spaces, line bundles and groupoids, and the relations of ...
Continue reading
This book contains a detailed and complete demonstration of the existence of an equivariate isomorphism between the Lubin-Tate ...
Continue reading
It provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, ...
Continue reading
It provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, ...
Continue reading
This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent ...
Continue reading
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
Continue reading
The Scottish mathematician Colin MacLaurin (1698-1746) is best known for developing and extending Newton’s work in calculus, ...
Continue reading
This book presents the main mathematical machines for drawing curves, for applying geometrical transformations or for making ...
Continue reading
This book presents the main mathematical machines for drawing curves, for applying geometrical transformations or for making ...
Continue reading
This book constitutes the refereed proceedings of the joint conference on Machine Learning and Knowledge Discovery in Databases: ...
Continue readingThis book constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain ...
Continue reading
This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...
Continue reading
This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...
Continue reading
While the original works on Malliavin calculus aimed to study the smoothness of densities of solutions to stochastic differential ...
Continue reading
This volume acknowledges and celebrates the contributions of Dr. Frederick S. Szalay to the field of Mammalian Evolutionary ...
Continue reading
This book provides an update on all the disorders of the hematopoietic system with dermatological expression or with a cutaneous ...
Continue reading
the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical ...
Continue reading