Automated proof search in non - classical logics.

Lincoln WALLEN

Informasi Dasar

22 kali
0005321
428.8307
Buku - Circulation (Dapat Dipinjam)
9b

Subjek

Marketing - business
 

Katalog

Automated proof search in non - classical logics.
026223144 1
239 hal.; gamb.; bibl.; ind.
 

Sirkulasi

Rp. 0
Rp. 1.000
Ya

Pengarang

Lincoln WALLEN
Perorangan
 
 

Penerbit

the mit pross.
London
1990

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini