عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9780080930671
9780444516244
dltt
Computational logic
[Book]
edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
First edition.
Amsterdam, Netherlands :
North Holland,
2014.
Handbook of the History of Logic,
Volume 9
1874-5857 ;
Includes bibliographical references at the end of each chapters and index.
Computational logic.
9780444516244
Computer logic.
Gabbay, Dov M.,1945-
Siekmann, Jörg H.
Woods, John, (John Hayden)
ScienceDirect (Online service).
20181030161742.0
pn
مطالعه متن کتاب [Book]
Y
