Results
|
341.
|
|
|
342.
|
|
|
343.
|
|
|
344.
|
|
|
345.
|
|
|
346.
|
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.
|
|
347.
|
|
|
348.
|
|
|
349.
|
|
|
350.
|
|
|
351.
|
|
|
352.
|
|
|
353.
|
|
|
354.
|
|
|
355.
|
|
|
356.
|
|
|
357.
|
|
|
358.
|
|
|
359.
|
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.
|
|
360.
|
|