Handbook of automated reasoning
tarafından
 
Robinson, J. A. (John Alan)

Başlık
: 
Handbook of automated reasoning

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
: 
Automatic theorem proving.
 
Qualitative reasoning.

Yazar Ek Girişi
: 
Robinson, J. A. (John Alan)
 
Voronkov, Andrei, 1959-

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444508133


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap253802-1001ONLINEElektronik Kütüphane