Results
|
|
481.
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 4246
Edition: 1a ed.
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.63 H47 2006.
|
|
|
482.
|
|
|
|
|
483.
|
|
|
|
|
484.
|
|
|
|
|
485.
|
|
|
|
|
486.
|
|
|
|
|
487.
|
|
|
|
|
488.
|
|
|
|
|
489.
|
|
|
|
|
490.
|
|
|
|
|
491.
|
|
|
|
|
492.
|
|
|
|
|
493.
|
|
|
|
|
494.
|
|
|
|
|
495.
|
|
|
|
|
496.
|
|
|
|
|
497.
|
|
|
|
|
498.
|
|
|
|
|
499.
|
|
Advances in Multilingual and Multimodal Information Retrieval [electronic resource] : 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers / edited by Carol Peters, Valentin Jijkoun, Thomas Mandl, Henning Müller, Douglas W. Oard, Anselmo Peñas, Vivien Petras, Diana Santos. by Series: Lecture Notes in Computer Science ; 5152
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Z667.5 P48 2008.
|
|
|
500.
|
|
|