Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	August 2019
Genre:	EDV / Informatik
	Artificial Intelligence / C / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer system failures / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Software Engineering / System Performance and Evaluation / Systems analysis & design
ISBN:	9783030294359
EAN-Code:	9783030294359
Verlag:	Springer Nature EN
Einband:	Kartoniert
Sprache:	English
Serie:	Lecture Notes in Artificial Intelligence #11716 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	920 gr
Seiten:	582
Illustration:	XXIII, 582 p. 110 illus., 56 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.