Artificial intelligence and symbolic computation
: proceedings / International Conference AISC '98, Plattsburgh, New York, USA, September 1998. J. Calmet ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1476 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49816-2
Lizenzpflichtig
Quelle: DNB
Processes, terms and cycles: steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp ... (ed.). - Berlin : Springer, 2005. - XVIII, 638 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3838 : Festschrift)
ISBN 978-3-540-30911-6 / 3-540-30911-X kart. : EUR 81.32 (freier Pr.), ca. sfr 128.50
Quelle: DNB Verlagsmeldungen
Processes, terms and cycles: steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3838)
ISBN 978-3-540-32425-6
Lizenzpflichtig
Quelle: DNB
Avenhaus, Jürgen: Reduktionssysteme
: Rechnen und Schliessen in gleichungsdefinierten Strukturen / Jürgen Avenhaus. - Berlin : Springer, 1995. - X, 251 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-58559-6 / 3-540-58559-1 kart. : DM 45.00, sfr 45.00, S 351.00
Literaturverz. S. 227 - 251
Quelle: DNB
Rewriting, computation and proof
: essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday ; [Festschrift] / Hubert Comon-Lundh ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4600)
ISBN 978-3-540-73147-4
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 15th international conference ; proceedings / RTA 2004, Aachen, Germany, June 3 - 5, 2004. Vincent van Oostrom (ed.). - Berlin : Springer***5108985, 2004. - X, 311 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3091)
ISBN 978-3-540-22153-1 / 3-540-22153-0 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Rewriting techniques and applications
: 9th international conference ; proceedings / RTA-98, Tsukuba, Japan, March/April 1998. T. Nipkow (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1379)
ISBN 978-3-540-69721-3
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 9th international conference ; proceedings / RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Tobias Nipkow (ed.). - Berlin : Springer, 1998. - X, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1379)
ISBN 978-3-540-64301-2 / 3-540-64301-X kart. : DM 82.00
Literaturangaben
Quelle: DNB
Rewriting techniques and applications
: 13th international conference ; proceedings / RTA 2002, Copenhagen, Denmark, July 22 - 24, 2002. S. Tison (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2378)
ISBN 978-3-540-45610-0
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 12th international conference ; proceedings / RTA 2001, Utrecht, The Netherlands, May 2001. A. Middeldorp (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2051)
ISBN 978-3-540-45127-3
Lizenzpflichtig
Quelle: DNB
