Algebraic and logic programming
: 4th international conference ; proceedings / ALP '94, Madrid, Spain, September 14 - 16, 1994. Giorgio Levi ; Mario Rodríguez Artalejo (ed.). - Berlin : Springer, 1994. - VIII, 304 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 850)
ISBN 978-3-540-58431-5 / 3-540-58431-5 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Emmelmann, Helmut: Codeselektion mit regulär gesteuerter Termersetzung
/ Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - 228 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 241)
ISBN 978-3-486-23252-3 / 3-486-23252-5 kart. : DM 59.00, sfr 59.00, S 461.00
Quelle: DNB
Higher order algebra, logic, and term rewriting
: first international workshop ; selected papers / HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Jan Heering ... (ed.). - Berlin : Springer, 1994. - 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 816)
ISBN 978-3-540-58233-5 / 3-540-58233-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Higher order algebra, logic, and term rewriting
: second international workshop ; selected papers / HOA '95, Paderborn, Germany, September 21 - 22, 1995. Gilles Dowek ... (ed.). - Berlin : Springer, 1996. - 287 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1074)
ISBN 978-3-540-61254-4 / 3-540-61254-8 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Weisweber, Wilhelm: Termersetzung als Basis für eine einheitliche Architektur in der maschinellen Sprachübersetzung
: das experimentelle MÜ-System des Berliner Projekts der EUROTRA-D-Begleitforschung (KIT-FAST) / Wilhelm Weisweber. - Tübingen : Niemeyer, 1994. - XVIII, 262 S. : graph. Darst.; 24 cm - (Sprache und Information; Bd. 28)
ISBN 978-3-484-31928-8 / 3-484-31928-3 kart. : ca. DM 126.00
Quelle: DNB
Term rewriting and applications
: 17th international conference ; proceedings / RTA 2006, Seattle, WA, USA, August 12 - 14, 2006. Frank Pfenning (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4098)
ISBN 978-3-540-36835-9
Lizenzpflichtig
Quelle: DNB
