Resultados
|
|
1.
|
|
|
|
2.
|
Fields of logic and computation ii : essays dedicated to yuri gurevich on the occasion of his 75th birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte. por
- Beklemishev, Lev D [editor.]
- Blass, Andreas [editor.]
- Dershowitz, Nachum [editor.]
- Finkbeiner, Bernd [editor.]
- Schulte, Wolfram [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9300
Edición: 1st ed. 2015.
Tipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2015
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
|
|
|
4.
|
Language, culture, computation. Computing of the humanities, law, and narratives : essays dedicated to yaacov choueka on the occasion of his 75th birthday, part ii / edited by Nachum Dershowitz, Ephraim Nissan. por
- Dershowitz, Nachum [editor.]
- Nissan, Ephraim [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8002
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
|
|
|
6.
|
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.
|
|
|
7.
|
|
|
|
8.
|
Unconventional Computation : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings / edited by Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg. por
- Calude, Cristian S [editor.]
- Costa, José Félix [editor.]
- Dershowitz, Nachum [editor.]
- Freire, Elisabete [editor.]
- Rozenberg, Grzegorz [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5715
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
