Suchfeld einblenden
Schlagwort Gleichungstheorie
2 Treffer
Seite < 1 >
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
Prehofer, Christian: Solving higher order equations
: from logic to programming / Christian Prehofer. - Boston : Birkhäuser, 1998. - VII, 186 S.; 24 cm - (Progress in theoretical computer science)
ISBN 978-3-7643-4032-2 / 3-7643-4032-0 Kunststoff : sfr 118.00
Quelle: DNB
Seite < 1 >
