MPG.eBooks - Description: Rewriting Techniques and Applications

Read Now

Bibliographic Details
Main Author:	Nipkow, Tobias
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 1998
Series:	Lecture Notes in Computer Science
Subjects:	Artificial Intelligence Computer Science Logic Design Logic, Symbolic And Mathematical Artificial Intelligence (incl. Robotics) Logics And Meanings Of Programs Mathematical Logic And Formal Languages Mathematical Logic And Foundations Programming Languages, Compilers, Interpreters
Online Access:	http://dx.doi.org/10.1007/BFb0052355?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa

Description
Physical Description:	v. digital
ISBN:	9783540643012 978-3-540-64301-2