Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juni 2001
Genre:	EDV / Informatik
	B / Compilers & interpreters / Compilers and Interpreters / computer science / Computer science—Mathematics / Computers / Formal Languages and Automata Theory / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Mathematics of Computing / Mathematik für Informatiker / Maths for computer scientists / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Theory of Computation mehr...
ISBN:	9780387951973
EAN-Code:	9780387951973
Verlag:	Springer EN
Einband:	Gebunden
Sprache:	English
Serie:	Monographs in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	851 gr
Seiten:	427
Illustration:	XVIII, 409 p. 1 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.