Yazar
lawrence j henschen
2 cilt bulundu.
Cilt sonuçları
Some new results on resolution in automated theorem proving
Lawrence J. Henschen · Yayınevi bilinmiyor
23 sayfa · 1968
Automatic theorem proving / Data processing / Functions / Mathematics / Computer science
Embedded System Design
Lawrence J. Henschen, Julia C. Lee · Elsevier Science & Technology
Sayfa sayısı yok · 2023
Kategori yok