|
Showing 1 - 3 of
3 matches in All Departments
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 1999. Topics of
papers range from the encounters between topology and domain
theory, sober spaces, Lawson topology, real number computability
and continuous functionals to fuzzy modelling, logic programming,
and pi-calculi. This book is a valuable reference for researchers
and students interested in this rapidly developing area of
theoretical computer science.
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 1999. Topics of
papers range from the encounters between topology and domain
theory, sober spaces, Lawson topology, real number computability
and continuous functionals to fuzzy modelling, logic programming,
and pi-calculi. This book is a valuable reference for researchers
and students interested in this rapidly developing area of
theoretical computer science.
This book constitutes refereed proceedings of the 2nd International
Conference on Artificial Intelligence Logic and Applications 2022
held in Shanghai, China from August 26-28, 2022. The 20 full papers
presented in this volume were carefully reviewed and selected from
a total of 27 submissions. The papers in the volume are organised
according to the following topical headings: program logic; fuzzy
logic; applications; author index.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|