000 01348nmm a22003615u 4500
999 _c16600
_d16600
005 20201016191321.0
008 100301s2008 xx j eng d
020 _a9783540705901
050 0 4 _aQA267
_bV67 2008
100 1 _aVoronkov, Andrei.
245 1 0 _aRewriting Techniques and Applications
_h[electronic resource] :
_b19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
_cedited by Andrei Voronkov.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2008.
300 _bv.: digital
490 0 _aLecture Notes in Computer Science,
_v5117
_x0302-9743
650 0 _aComputer science
650 0 _aLogic design
650 0 _aAlgebra
_xData processing
650 0 _aArtificial intelligence
650 1 4 _aComputer Science
650 2 4 _aMathematical Logic and Formal Languages
650 2 4 _aLogics and Meanings of Programs
650 2 4 _aProgramming Languages, Compilers, Interpreters
650 2 4 _aArtificial Intelligence (incl. Robotics)
650 2 4 _aSymbolic and Algebraic Manipulation
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-70590-1
942 _2lcc
_cLIE