Handbook of automated reasoning

Başlık:

Yazar:

Robinson, J. A. (John Alan)

ISBN:

9780444508133

Yayın Bilgileri:

Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, c2001.

Fiziksel Tanımlama:

1 online resource (2 v. (xxv, 2122 p.)) : ill.

Konu Terimleri:

Yazar Ek Girişi:

Elektronik Erişim:

Ayırtma:
Kopya:

Kütüphane	Materyal Türü	Demirbaş Numarası	Yer Numarası	Durumu/İade Tarihi	Materyal Ayırtma
Arıyor... Çevrimiçi Kütüphane	E-Kitap	253802-1001	ONLINE	Arıyor... Unknown	Arıyor... Rafta