Resultados
|
1.
|
Computer Science – Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings / edited by Volker Diekert, Mikhail V. Volkov, Andrei Voronkov. por
- Diekert, Volker [editor.]
- Volkov, Mikhail V [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4649
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
2.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. por
- Sutcliffe, Geoff [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3835
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
3.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / edited by Franz Baader, Andrei Voronkov. por
- Baader, Franz [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3452
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
Disponibilidad: No hay ítems disponibles.
|
|
4.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov. por
- Hermann, Miki [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4246
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|
|
5.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. por
- Dershowitz, Nachum [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4790
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
6.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. por
- Cervesato, Iliano [editor.]
- Veith, Helmut [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5330
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|
|
7.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. por
- Fermüller, Christian G [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6397
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
|
8.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov. por
- Clarke, Edmund M [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6355
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
|
9.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov. por
- Bjørner, Nikolaj [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7180
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
|
10.
|
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. por
- McMillan, Ken [editor.]
- Middeldorp, Aart [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8312
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
11.
|
Perspectives of system informatics : 9th international ershov informatics conference, psi 2014, st. Petersburg, russia, june 24-27, 2014. Revised selected papers / edited by Andrei Voronkov, Irina Virbitskaite. por
- Voronkov, Andrei [editor.]
- Virbitskaite, Irina [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8974
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|
|
12.
|
Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers / edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov. por
- Pnueli, Amir [editor.]
- Virbitskaite, Irina [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5947
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
|
13.
|
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. por
- Clarke, Edmund [editor.]
- Virbitskaite, Irina [editor.]
- Voronkov, Andrei [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7162
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
|
14.
|
|