СБ |
Infinity in Logic and Computation: Revised Selected Papers/ International Conference, ILC 2007, Cape Town, South Africa, November 2007 |
2009 |
|
Lecture Notes in Artificial Intelligence |
- Archibald M.
- Brattka V.
- Goranko V.
- Lowe B.
|
|
|
21.11.2009 |
СБ |
Logic and the Foundations of Game and Decision Theory - LOFT 8: Revised Selected Papers/8th International Conference, Amsterdam, The Netherlands, July 2008 |
2010 |
|
Lecture Notes in Artificial Intelligence |
- Bonanno G.
- Lowe B.
- Van Der Hoek W.
|
|
|
09.11.2010 |
СБ |
Programs, Proofs, Processes: Proc./6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June/July 2010 |
2010 |
|
Lecture Notes in Computer Science |
- Ferreira F.
- Lowe B.
- Mayordomo E.
- Gomes L. M.
|
|
|
21.09.2010 |
СБ |
Models of Computation in Context: Proc./7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June/July 2011 |
2011 |
|
Lecture Notes in Computer Science |
- Lowe B.
- Normann D.
- Soskov I.
- Soskova A.
|
|
|
22.09.2011 |
СБ |
How the World Computes: Proc./Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Cooper S. B.
- Dawar A.
- Lowe B.
|
|
|
13.08.2012 |
СБ |
The Nature of Computation: Proc./9th Conference on Computability in Europea, CiE 2013, ilan, Italy, July 2013 |
2013 |
|
Lecture Notes in Computer Science |
- Bonizzoni P.
- Brattka V.
- Lowe B.
|
|
|
26.08.2013 |