Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Daraltılmış:
+
Konu: Complexité de calcul (Informatique)
Eylem Seç
2 sonuç bulundu
00DEFAULTTR
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
by
Davis, Martin, 1928-
ScienceDirect http://www.sciencedirect.com/science/book/9780122063800
Format:
Alıntı:
Predicate Logic; 2. Semantics; 3. Logical Consequence; 4. Herbrand's Theorem; 5. Unification; 6. Compactness
by
Calude, Cristian, 1952-
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.
ScienceDirect http://www.sciencedirect.com/science/book/9780444703569
ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=35
ScienceDirect http://www.sciencedirect.com/science/bookseries/01675060/35
ScienceDirect https://www.sciencedirect.com/science/book/9780444703569
ScienceDirect http://www.sciencedirect.com/science/book/9780444703569
ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=35
ScienceDirect http://www.sciencedirect.com/science/bookseries/01675060/35
ScienceDirect https://www.sciencedirect.com/science/book/9780444703569
Format:
Alıntı:
. Recursive Real Numbers; 2.10. History; 2.11. Exercises and Problems; Chapter 3; 3. BLUM's Complexity Theory
Eylem Seç