Search Books

Automated reasoning : 4th Inte... 手動新增

edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.

Springer-Verlag Berlin Heidelberg

Automated reasoning : 4th Inte... 手動新增

edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.

Springer-Verlag Berlin Heidelberg

Climate change modeling for lo... 手動新增

edited by Armando Lamadrid, Ilan Kelman.

Emerald

Multi-agent-based simulation X... 手動新增

edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker.

Springer Berlin Heidelberg

Petrarch : a critical guide to... 手動新增

edited by Victoria Kirkham and Armando Maggi.

University of Chicago Press

Rethinking the public sphere t... 手動新增

edited by Armando Salvatore, University of Naples L' Oriental, Italy, Oliver Schmidtke, University of Victoria, Canada, Hans-J?org Trenz, University of Copenhagen, Denmark.

Palgrave Macmillan