Resultados de Búsqueda por Autor

1

Imagen de Portada

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings /

por Baader, Franz.
Publicado 2005

Otros Autores: '; “...Voronkov, Andrei....”
SpringerLink, via BECYT

Electrónico

2

Imagen de Portada

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /

por Virbitskaite, Irina.
Publicado 2007

Otros Autores: '; “...Voronkov, Andrei....”
SpringerLink, via BECYT

Electrónico

3

Imagen de Portada

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /

por Dershowitz, Nachum.
Publicado 2007

Otros Autores: '; “...Voronkov, Andrei....”
SpringerLink, via BECYT

Electrónico

4

Imagen de Portada

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /

por Hermann, Miki.
Publicado 2006

Otros Autores: '; “...Voronkov, Andrei....”
SpringerLink, via BECYT

Electrónico

5

Imagen de Portada

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /

por Sutcliffe, Geoff.
Publicado 2005

Otros Autores: '; “...Voronkov, Andrei....”
SpringerLink, via BECYT

Electrónico

6

Imagen de Portada

Computer Science Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /

por Diekert, Volker.
Publicado 2007

Otros Autores: '; “...Voronkov, Andrei....”
SpringerLink, via BECYT

Electrónico