This volume presents an exploration of a wide variety of new formal methods from computer science...
This volume presents an exploration of a wide variety of new formal methods from computer science...
This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference,...
This book constitutes the refereed post-conference proceedings of the 20th International Conferen...
This book is an interdisciplinary project at the intersection of linguistics (semantics pragmatic...
JSAI (The Japanese Society for Arti?cial Intelligence) is a premier academic society that focuses...