Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Mai 2002
Genre:	Schulbücher
	Artificial Intelligence / C / Chemistry and Materials Science / computer science / Künstliche Intelligenz / Logic / Mathematical foundations / Mathematical Logic and Foundations / Mathematical theory of computation / mathematische Grundlagen / Philosophie# Logik / Philosophy# logic / Proof / Proof theory / Semantics / Theoretische Informatik / Theory of Computation mehr...
ISBN:	9781402006081
EAN-Code:	9781402006081
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#62 - Nato Science Series II:
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1320 gr
Seiten:	415
Illustration:	XII, 415 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.