Symbolic rewriting techniques/

Other Authors: Bronstein, Manuel, Grabmeier, Johannes, Weispfenning, Volker
Format: Book
Language:English
Published: Basel: Birkhauser, 1998
Series:Progress in computer science and applied logic 15
Subjects:
LEADER 00834nam a2200229 a 4500
001 927899
005 20171111231402.0
008 020426s1998 xu erbi 001 0 eng d
020 |a 3764359013 
040 |a TEIK  |b gre 
082 0 |a 005.131 
245 0 0 |a Symbolic rewriting techniques/  |c editors Bronstein Manuel, Johannes Grabmeier. Volker Weispfenning 
260 |a Basel:  |b Birkhauser,  |c 1998 
300 |a 288σ. 
490 0 |a Progress in computer science and applied logic  |v 15 
504 |a Περιέχει βιβλιογραφία 
650 1 0 |a Rewriting systems (Computer science)  |x Congresses 
650 1 0 |a Numerical analysis  |x Data processing 
700 1 |a Bronstein, Manuel  |x Congresses 
700 1 |a Grabmeier, Johannes 
700 1 |a Weispfenning, Volker 
952 |a GRThAnMak  |b 59cc97346c5ad13446008633  |c 998a  |d 945l  |e 005.131 SYM  |t 1  |x m  |z Books