Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juni 2019
Genre:	EDV / Informatik
	Application software / Artificial Intelligence / C / Computer and Information Systems Applications / Computer Appl. in Administrative Data Processing / Computer architecture & logic design / Computer logic / Computer networking & communications / Computer programming / software engineering / computer science / Computers / Database Management System / Information Systems and Communication Service / Information technology# general issues / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Operating systems / Public Administration / Software Engineering / Software Engineering/Programming and Operating Systems / Theory of Computation
ISBN:	9783030221010
EAN-Code:	9783030221010
Verlag:	Springer Nature EN
Einband:	Kartoniert
Sprache:	English
Serie:	#11560 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1021 gr
Seiten:	662
Illustration:	XIII, 662 p. 1230 illus., 14 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including  description logics,  term rewriting, and the combination of decision procedures.  We  hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.