This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 2628, 2022.The 20 full papers presented in this volume were...Lasīt vairāk
Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October...Lasīt vairāk
Domains are mathematical structures modeling the order of information contained in computation by approximating ideal objects by finite ones. All the much research on domain theory has proceeded in China, it has not been well known among American and...Lasīt vairāk
