Models of Computation in Context Benedikt Löwe, Dag Normann, Ivan Soskov & Alexandra Soskova의 도서 더 보기

New Computational Paradigms New Computational Paradigms
New Computational Paradigms
2007년
Cultures of Mathematics and Logic Cultures of Mathematics and Logic
Cultures of Mathematics and Logic
2016년
Logic and the Foundations of Game and Decision Theory - LOFT 8 Logic and the Foundations of Game and Decision Theory - LOFT 8
Logic and the Foundations of Game and Decision Theory - LOFT 8
2010년
Computation and Logic in the Real World Computation and Logic in the Real World
Computation and Logic in the Real World
2007년
Programs, Proofs, Processes Programs, Proofs, Processes
Programs, Proofs, Processes
2010년