Logic from computer science: proceedings of a workshop held November 13-176, 1989/ Y.N. Moschovakis, editor
Springer-Verlag, 1992
 Buku Teks
Luke Ong, editor
Logic, language, information and computation : 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Manna, Zohar, author
Lectures on the logic of computer programming
Society for Industrial and Applied Mathematics, 1980
 eBooks
Michael J. Dinneen, editor
Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers
[Springer-Verlag, ], 2012
 eBooks
Ben-Ari, Mordecchai, 1948-, author
Mathematical logic for computer science
Springer-Verlag, 2012
 Buku Teks
<<   1 2 3   >>