Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2001
Genre:	Philosophie
	C / Compilers & interpreters / Compilers and Interpreters / Logic / Mathematical foundations / Mathematical logic / Mathematical Logic and Foundations / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Religion and Philosophy
ISBN:	9780792371434
EAN-Code:	9780792371434
Verlag:	Springer Nature EN
Einband:	Gebunden
Sprache:	English
Serie:	#01 - Semantics Structures in Computation
Dimensionen:	H 244 mm / B 170 mm / D
Gewicht:	1290 gr
Seiten:	273
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.