Automated proof search in non - classical logics.

Lincoln WALLEN

Automated proof search in non - classical logics.

Lincoln WALLEN

Informasi Dasar

Automated proof search in non - classical logics.

No. Katalog

0005321

Klasifikasi

428.8307

Jenis katalog

Buku - Circulation (Dapat Dipinjam)

No. Rak

Abstraksi

Subjek

Subjek utama

Marketing - business

Subjek tambahan

Katalog

Judul

Automated proof search in non - classical logics.

ISBN

026223144 1

Kolasi

239 hal.; gamb.; bibl.; ind.

Bahasa

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 1.000

Sirkulasi

Pengarang

Nama

Lincoln WALLEN

Jenis

Perorangan

Penyunting/
Pembimbing

Alih bahasa

Penerbit

Nama

the mit pross.

Kota

London

Tahun

1990

Koleksi

Total

2 Koleksi

Tersedia

0 Koleksi

Kompetensi

Tidak ada

Download / Flippingbook

Link file

Rekomendasi

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

Kembali