1. |
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell.
|
2005 |
e-book |
SpringerLink, via BECYT |
2. |
Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel.
|
2005 |
e-book |
SpringerLink, via BECYT |
3. |
Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta.
|
2005 |
e-book |
SpringerLink, via BECYT |
4. |
Automated Deduction CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings / edited by Robert Nieuwenhuis.
|
2005 |
e-book |
SpringerLink, via BECYT |
5. |
Computational Logic in Multi-Agent Systems [electronic resource] : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / edited by João Leite, Paolo Torroni.
|
2005 |
e-book |
SpringerLink, via BECYT |
6. |
Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings / edited by Stefan Kramer, Bernhard Pfahringer.
|
2005 |
e-book |
SpringerLink, via BECYT |
7. |
Case-Based Reasoning Research and Development [electronic resource] : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings / edited by Héctor Muñoz-Ávila, Francesco Ricci.
|
2005 |
e-book |
SpringerLink, via BECYT |
8. |
Fundamentals of Computation Theory [electronic resource] : 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings / edited by Maciej Likiewicz, Rüdiger Reischuk.
|
2005 |
e-book |
SpringerLink, via BECYT |
9. |
Mathematics of Surfaces XI [electronic resource] : 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings / edited by Ralph Martin, Helmut Bez, Malcolm Sabin.
|
2005 |
e-book |
SpringerLink, via BECYT |
10. |
Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong.
|
2005 |
e-book |
SpringerLink, via BECYT |
11. |
Fuzzy Systems and Knowledge Discovery [electronic resource] : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I / edited by Lipo Wang, Yaochu Jin.
|
2005 |
e-book |
SpringerLink, via BECYT |
12. |
Fuzzy Systems and Knowledge Discovery [electronic resource] : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II / edited by Lipo Wang, Yaochu Jin.
|
2005 |
e-book |
SpringerLink, via BECYT |
13. |
Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings / edited by Joe Hurd, Tom Melham.
|
2005 |
e-book |
SpringerLink, via BECYT |
14. |
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina.
|
2005 |
e-book |
SpringerLink, via BECYT |
15. |
Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings / edited by Chris Hankin, Igor Siveroni.
|
2005 |
e-book |
SpringerLink, via BECYT |
16. |
Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten.
|
2005 |
e-book |
SpringerLink, via BECYT |
17. |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I / edited by Dominik lzak, Guoyin Wang, Marcin Szczuka, Ivo Düntsch, Yiyu Yao.
|
2005 |
e-book |
SpringerLink, via BECYT |
18. |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II / edited by Dominik lzak, JingTao Yao, James F. Peters, Wojciech Ziarko, Xiaohua Hu.
|
2005 |
e-book |
SpringerLink, via BECYT |
19. |
Principles and Practice of Semantic Web Reasoning [electronic resource] : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings / edited by François Fages, Sylvain Soliman.
|
2005 |
e-book |
SpringerLink, via BECYT |
20. |
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert.
|
2005 |
e-book |
SpringerLink, via BECYT |