1. Eduction: Automated Logic
پدیدآورنده : Bible, Wolfgang, by Wolfgang Bible; translated by Monika Lekuse; Gerd Neugedauer
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Automatic Theorem Proving
رده :
QA
76
.
9
.
B5
