Results
|
901.
|
|
|
902.
|
|
|
903.
|
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.
|
|
904.
|
|
|
905.
|
|
|
906.
|
|
|
907.
|
|
|
908.
|
|
|
909.
|
|
|
910.
|
|
|
911.
|
|
|
912.
|
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.
|
|
913.
|
|
|
914.
|
|
|
915.
|
|
|
916.
|
|
|
917.
|
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.
|
|
918.
|
|
|
919.
|
|
|
920.
|
|