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