عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9781461203254
9781461267089
b402668
Logical Methods
[Book]
In Honor of Anil Nerode's Sixtieth Birthday /
edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
Boston, MA :
Imprint: Birkhäuser,
1993.
Progress in Computer Science and Applied Logic ;
12
9781461267089
Springer eBooks
Computer science.
Logic design.
Logic, Symbolic and mathematical.
Mathematics.
Crossley, John N.
Remmel, Jeffrey B.
Shore, Richard A.
Sweedler, Moss E.
SpringerLink (Online service)
20190307155100.0
مطالعه متن کتاب [Book]
Y
