Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Jouannaud, Jean-Pierre (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer-Verlag c1985
Σειρά:Lecture Notes in Computer Science = 202
Θέματα:
LEADER 01062nam a22002653u 4500
001 10101071
003 upatras
005 20210415085919.0
008 991022s eng
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Rewriting techniques and applications  |b [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985 
260 |a Berlin  |b Springer-Verlag  |c c1985 
300 |a vi, 440p. 
490 0 |a Lecture Notes in Computer Science = 202 
500 |a Περιέχει βιβλιογραφικές αναφορές 
650 4 |a COMPUTER SCIENCE  |9 24273 
650 4 |a PROCEEDINGS  |9 24278 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a LNCS  |9 113061 
700 1 |a Jouannaud, Jean-Pierre  |4 edt  |9 114115 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 005  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |6 005_000000000000000  |7 0  |9 123964  |a CEID  |b CEID  |d 2016-04-24  |l 0  |o 005  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24 
999 |c 81440  |d 81440