Rippling: Meta-Level Guidance for Mathematical Reasoning
tarafından
 
Bundy, Alan.

Başlık
: 
Rippling: Meta-Level Guidance for Mathematical Reasoning

Yazar
: 
Bundy, Alan.

ISBN
: 
9780511543326
 
9780521834490

Yayın Bilgileri
: 
Cambridge : Cambridge University Press, 2005

Fiziksel Tanımlama
: 
1 online resource (216 p.) : digital, PDF file(s).

Seri
: 
Cambridge Tracts in Theoretical Computer Science no. 56

Seri Başlığı
: 
Cambridge Tracts in Theoretical Computer Science no. 56

Genel Not
: 
Title from publishers bibliographic system (viewed on 06 Sep 2013).

Konu Terimleri
: 
Automatic theorem proving.
 
Logic, Symbolic and mathematical.

Yazar Ek Girişi
: 
Bundy, Alan.
 
Basin, David.
 
Hutter, Dieter.
 
Ireland, Andrew.

Elektronik Erişim
: 
Access by subscription


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