Search ResultsElektronik Kaynaklar
3 sonuç bulundu
000DEFAULTTR
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
by
Walther, Christoph.
ScienceDirect http://www.sciencedirect.com/science/book/9780273087182
Format:
Alıntı:
A many-sorted calculus based on resolution and paramodulation / Walther, Christoph.
by
Nilsson, Nils J., 1933-2019.
ScienceDirect https://www.sciencedirect.com/science/book/9781558604674
Format:
Alıntı:
Representation and Reasoning. The Propositional Calculus. Resolution in the Propositional Calculus. The Predicate
by
McCarthy, John, 1927-2011.
ScienceDirect https://www.sciencedirect.com/science/book/9780124500105
Format:
Alıntı:
manufacturing / C. Goad -- LISP + calculus = identities / R.W. Gosper -- Model checking vs. theorem proving : a