Lewati ke konten utama

A machine program for theorem-proving | NiceBooksReads

NiceBooksReadsCERITA MENYATUKAN KITA

Jelajahi Buku Apa yang Sedang Dibaca?Berita Sastra Dunia Persahabatan Buku Ruang buku Klub Buku Ebook Buku audio Studio kreatif Ahli

Bahasa IndonesiaID

BahasaNegara / pasar

Pasar menentukan mata uang, katalog, dan pembayaran tanpa mengubah bahasa.

Masuk Bergabung

NiceBooksReadsCERITA MENYATUKAN KITA

Bahasa

Bahasa IndonesiaID

BahasaNegara / pasar

Pasar menentukan mata uang, katalog, dan pembayaran tanpa mengubah bahasa.

Jelajahi NiceBooksReads

⌕Jelajahi›▥Buku›↗Apa yang Sedang Dibaca?›✦Berita Sastra Dunia›♡Persahabatan Buku›◌Ruang buku›▧Klub Buku›▤Ebook›▶Buku audio›✦Studio kreatif›◇Ahli›

Masuk Bergabung

← Kembali ke perpustakaan

Informasi sumber dan penggunaan

Anda mengakses karya ini melalui catatan sumbernya di Internet Archive. NiceBooksReads menyediakan akses ke sumber serta antarmuka untuk membaca dan mendengarkan.

Hak atas karya dan rekaman dimiliki oleh masing-masing pemegang hak. Tinjau lisensi serta ketentuan akses dan penggunaan pada catatan sumber. Pemberitahuan ini tidak memberikan hak tambahan untuk penggunaan atau publikasi ulang.

Catatan sumber ↗Ketentuan penggunaan sumber ↗

A machine program for theorem-proving

English

A machine program for theorem-proving

Martin Davis George Logemann Donald Loveland

13 p. 28 cm

Masuk dengan akun gratis Anda untuk membaca, mengunduh EPUB, atau mendengarkan.

Baca online →EPUB ↓

Laporkan masalah buku ini

A machine program for theorem-proving

MasalahRincian (opsional)

Edisi digital

Cari edisi lainnya →

NiceBooksReadsCERITA MENYATUKAN KITA

Komunitas kreatif tempat cerita ditulis, dibaca, didengar, dan diterbitkan secara profesional.

Jelajahi Buku Apa yang Sedang Dibaca?Berita Sastra Dunia

Privasi & cookie Perjanjian pengguna Perjanjian penjualan jarak jauh Pengaturan cookie

●Koneksi amanDilindungi enkripsi HTTPS dan SSL/TLS

Kartu pembayaran

VISAmastercardtroy

© 2026 NiceBooksReads · Hak cipta dilindungi.