Results
|
861.
|
|
|
862.
|
|
|
863.
|
|
|
864.
|
|
|
865.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 5330
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.63 C47 2008.
|
|
866.
|
|
|
867.
|
|
|
868.
|
|
|
869.
|
|
|
870.
|
|
|
871.
|
|
|
872.
|
|
|
873.
|
|
|
874.
|
Advances in Neural Networks – ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II / edited by Jun Wang, Xiao-Feng Liao, Zhang Yi. by Series: Lecture Notes in Computer Science ; 3497
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 W364 2005.
|
|
875.
|
|
|
876.
|
|
|
877.
|
|
|
878.
|
|
|
879.
|
Advances in Natural Computation [electronic resource] : Second International Conference, ICNC 2006, Xi’an, China, September 24-28, 2006. Proceedings, Part II / edited by Licheng Jiao, Lipo Wang, Xinbo Gao, Jing Liu, Feng Wu. by Series: Lecture Notes in Computer Science ; 4222
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.87 J53 2006.
|
|
880.
|
|