Automated Theorem Proving: After 25 Years: After 25 Years
W. W. Bledsoe · Donald W. Loveland
Jan 1984 · American Mathematical Society: Annual meetingBuku 89 · American Mathematical Soc.
eBook
360
Halaman
Contoh gratis
Tentang eBook ini
Seri
Sains & Matematika
Beri rating eBook ini
Sampaikan pendapat Anda.
Informasi bacaan
Smartphone dan tablet
Instal aplikasi Google Play Buku untuk Android dan iPad/iPhone. Aplikasi akan disinkronkan secara otomatis dengan akun Anda dan dapat diakses secara online maupun offline di mana saja.
Laptop dan komputer
Anda dapat mendengarkan buku audio yang dibeli di Google Play menggunakan browser web komputer.
eReader dan perangkat lainnya
Untuk membaca di perangkat e-ink seperti Kobo eReaders, Anda perlu mendownload file dan mentransfernya ke perangkat Anda. Ikuti petunjuk Pusat bantuan yang mendetail untuk mentransfer file ke eReaders yang didukung.