Heinz, Birgit: Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
/ Birgit Heinz. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1996. - 174 S. : graph. Darst.; 24 cm - (GMD-Bericht; Nr. 261)
ISBN 978-3-486-23873-0 / 3-486-23873-6 kart. : DM 51.00
Quelle: DNB
Burghardt, Jochen: Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion
/ Jochen Burghardt. - München : Oldenbourg, 1993. - 246 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 212)
ISBN 978-3-486-22687-4 / 3-486-22687-8 kart. : DM 62.00
Quelle: DNB
Unifying theories of programming
: first international symposium ; revised selected papers / UTP 2006, Walworth Castle, County Durham, UK, February 5 - 7, 2006. Steve Dunne ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4010)
ISBN 978-3-540-34752-1
Lizenzpflichtig
Quelle: DNB
Word equations and related topics
: proceedings / 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1 - 3, 1990. K. U. Schulz (ed.). - Berlin : Springer, 1992. - 256 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 572)
ISBN 978-3-540-55124-9 / 3-540-55124-7 kart. : DM 58.00
Literaturangaben
Quelle: DNB
Word equations and related topics
: proceedings / Second International Workshop, IWWERT '91, Rouen, France, October 7 - 9, 1991. Habib Abdulrab ; Jean-Pierre Pécuchet (ed.). - Berlin : Springer, 1993. - 214 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 677)
ISBN 978-3-540-56730-1 / 3-540-56730-5 kart. : DM 52.00
Literaturangaben
Quelle: DNB
