guo qiang zhang
Domain Theory, Logic and Computation
EbookSofort lieferbarDomains are mathematical structures for information and approximation; they combine order-theoret...
Domains and Processes
EbookSofort lieferbarDomain theory is a rich interdisciplinary area at theintersection of logic, computer science, a...
Formal Methods for the Analysis of Biomedical Ontologies
EbookSofort lieferbarThe book synthesizes research on the analysis of biomedical ontologies using formal concept analy...
Domains and Processes
BuchBezug 11-15Domain theory is a rich interdisciplinary area at theintersection of logic, computer science, a...
Domains and Processes
TaschenbuchBezug 11-15Domain theory is a rich interdisciplinary area at theintersection of logic, computer science, a...
Formal Methods for the Analysis of Biomedical Ontologies
BuchBezug 11-15The book synthesizes research on the analysis of biomedical ontologies using formal concept an...
Formal Methods for the Analysis of Biomedical Ontologies
TaschenbuchBezug 11-15The book synthesizes research on the analysis of biomedical ontologies using formal concept an...
Formal Methods for the Analysis of Biomedical Ontologies
BuchVorbestellbarThis book explores the application of formal methods, rooted in mathematics and logic, to the ...
Domain Theory, Logic and Computation
TaschenbuchPrint on DemandDomains are mathematical structures for information and approximation; they combine order-theoret...
- 1