|
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings (Lecture Notes in Computer Science, 5635)
by
0.00 avg rating — 0 ratings
—
published
2009
—
3 editions
|
|
|
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science, 6158)
by
0.00 avg rating — 0 ratings
—
published
2010
—
2 editions
|
|
|
Foundations of the Formal Sciences VII. Bringing Together Philosophy and Sociology of Science
by
0.00 avg rating — 0 ratings
—
published
2011
|
|
|
Interactive Logic
by
0.00 avg rating — 0 ratings
—
published
2007
—
2 editions
|
|
|
The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, ... Computer Science and General Issues)
by
0.00 avg rating — 0 ratings
—
published
2013
—
2 editions
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.