Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Héctor Geffner (auth.)

Books by author

Héctor Geffner (auth.)

Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

2011 · ENGLISH · PDF

View details →

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

2012 · ENGLISH · PDF

View details →

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2005 · ENGLISH · PDF

View details →

Discovery Science: 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009

Discovery Science: 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009

2009 · ENGLISH · PDF

View details →

Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

2011 · ENGLISH · PDF

View details →

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

2012 · ENGLISH · PDF

View details →

Discovery Science: 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009

Discovery Science: 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009

2009 · ENGLISH · PDF

View details →

Discovery Science: 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009

Discovery Science: 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009

2009 · ENGLISH · PDF

View details →

Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

2011 · ENGLISH · PDF

View details →

Progress in Artificial Intelligence — IBERAMIA 98: 6th Ibero-American Conference on AI Lisbon, Portugal, October 5–9, 1998 Proceedings

Progress in Artificial Intelligence — IBERAMIA 98: 6th Ibero-American Conference on AI Lisbon, Portugal, October 5–9, 1998 Proceedings

1998 · ENGLISH · PDF

View details →

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2005 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme