This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
Lire la suiteThis book provides both the classical aspects of the theory of groups and their representations as well as a general introduction ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Conference on Algorithmic Learning Theory, ALT 2008, ...
Lire la suiteThis book containing classical and well-known problems supplemented by clear and in-depth explanations. The material covered ...
Lire la suiteThis volume introduces an entirely new pseudodifferential analysis on the line, the opposition of which to the usual (Weyl-type) ...
Lire la suiteKnowledge Engineering refers to the development of systems that use knowledge, rather than data, to solve many novel computing ...
Lire la suiteDesigned so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently ...
Lire la suiteReports on several advances in architectural graphics, with a special emphasis on education, training and research. It gathers ...
Lire la suiteThe theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Argumentation in Multi-Agent ...
Lire la suiteIn this volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic ...
Lire la suiteThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lire la suiteThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lire la suiteThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lire la suiteThe two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held ...
Lire la suiteThis book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...
Lire la suiteThis book aims to present a general survey of algebra, of its basic notions and main branches.Those parts of the book devoted ...
Lire la suiteBraids and braid groups have been at the heart of mathematical development over the last two decades. Braids play an important ...
Lire la suite