Suchfeld einblenden
Schlagwort Induktionsbeweis
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
Formal correctness of security protocols
: with 4 tables / Giampaolo Bella. - Berlin : Springer, 2007. - Online-Ressource - (Information security and cryptography)
ISBN 978-3-540-68136-6
Lizenzpflichtig
Quelle: DNB
Seite < 1 >