This book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering ...
اقرأ المزيدThe book contains methodology, causation, and reduction, and include philosophy of logic and physics, philosophy of psychology ...
اقرأ المزيدIn this book, Yusuke Kubota and Robert Levine propose a type-logical version of categorial grammar as a viable alternative ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
اقرأ المزيدThe 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
اقرأ المزيدThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
اقرأ المزيدThe present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
اقرأ المزيدThis book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
اقرأ المزيدThis book examines social constructionism as a metatheory of psychology. It does not consider constructionist accounts of ...
اقرأ المزيدA number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
اقرأ المزيدThis volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution ...
اقرأ المزيدThe book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
اقرأ المزيدThe use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
اقرأ المزيدLinks the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...
اقرأ المزيدThis volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
اقرأ المزيدThis volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
اقرأ المزيدThe book feature current research from the communities of verification, program certification, model checking, debugging ...
اقرأ المزيدThe scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
اقرأ المزيدVthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual ...
اقرأ المزيدThe first great graphics technology for the Web,VRML,has been mistaken for something else since its inception. Viewed variously ...
اقرأ المزيد