MPG.eBooks - Staff View: 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


LEADER	01252nmm a2200325 u 4500
001	EB000287975
003	EBX01000000000000000053659
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540643012
020			\|a 978-3-540-64301-2
100	1		\|a Nipkow, Tobias
245	0	0	\|a Rewriting Techniques and Applications \|h Elektronische Ressource \|b 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings \|c by Tobias Nipkow
260			\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 1998
300			\|b v. digital
989			\|b LNCS \|a Lecture Notes in Computer Science
490	0		\|a Lecture Notes in Computer Science
856	4	0	\|u http://dx.doi.org/10.1007/BFb0052355?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Artificial intelligence
650		4	\|a Computer science
650		4	\|a Logic design
650		4	\|a Logic, Symbolic and mathematical
650		4	\|a Computer Science
650		4	\|a Artificial Intelligence (incl. Robotics)
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Mathematical Logic and Foundations
650		4	\|a Programming Languages, Compilers, Interpreters