Thistlewaite: *Automated* Theorem-Provin

THISTLEWAITE (Autor)

Microfilm

154 Seiten

1988
John Wiley & Sons Inc (Hersteller)
978-0-470-21006-2 (ISBN)

Produkt-Details

• Zusatzinfo: Illustrations
• Verlagsort: New York
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 0-470-21006-0 / 0470210060
• ISBN-13: 978-0-470-21006-2 / 9780470210062
• Zustand: Neuware