Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Mai 2001
Genre:	EDV / Informatik
	Algorithm / Algorithms / Automata / automateddeduction / Beta / Compiler und Übersetzer / complexity / EDV / Theorie / Programmieren / Allgemeines / explicitesubstitution / formalmethods / Künstliche Intelligenz (KI) / Reduction / rewriting / termination / termrewriting / theoremproving / unification / Variable mehr...
ISBN:	9783540421177
EAN-Code:	9783540421177
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#2051 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D 21 mm
Gewicht:	575 gr
Seiten:	380
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.