Suchfeld einblenden
Schlagwort Terminierung
1 Treffer
Seite < 1 >
Walther, Christoph: Automatisierung von Terminierungsbeweisen
/ Christoph Walther. Hrsg. von Wolfgang Bibel. - Braunschweig : Vieweg, 1991. - IX, 253 S.; 23 cm - (Künstliche Intelligenz)
ISBN 978-3-528-04771-9 / 3-528-04771-2 kart. : DM 68.00
Quelle: DNB
Seite < 1 >
