Showing
1 - 6
results of
6
for search '
'
Saltar ao contenido
Toggle navigation
VuFind
Comentarios
Your Account
Saír
Entrar
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
UM:NIK
Katalog UkM
Katalog UkM
-- Title
-- Autor
-- Subject
-- Número de Clasificación
-- ISBN/ISSN
-- Tag
BrowZine
Raziskovalni vodiči
Buscar
Avanzado
Reset Filters
Autor:
Voronkov, Andrei
Idioma:
English
Suggested Topics:
Computer science
Reset Filters
Show filters (3)
Autor:
Voronkov, Andrei
Idioma:
English
Suggested Topics:
Computer science
Buscar:
Suggested Topics within your search.
Suggested Topics within your search.
Computer science
Logic design
5
Software engineering
5
Artificial intelligence
4
Bioinformatics
1
Computer software
1
Electronic data processing
1
Máis ...
Information theory
1
menos ...
Showing
1 - 6
results of
6
for search '
'
, tempo de consulta: 0.17s
Limitar resultados
Ordenar
Relevancia
Data Descendente
Data Ascendente
Número de clasificación
Autor
Título
1
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
Publicado 2007
Número de Clasificación:
Cargando...
Situado:
Cargando...
eBook
Cargando...
Mostrar Código QR
Engadir a favoritos
Gardado en:
2
Computer Science - Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
Publicado 2007
Número de Clasificación:
Cargando...
Situado:
Cargando...
eBook
Cargando...
Mostrar Código QR
Engadir a favoritos
Gardado en:
3
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Publicado 2007
Número de Clasificación:
Cargando...
Situado:
Cargando...
eBook
Cargando...
Mostrar Código QR
Engadir a favoritos
Gardado en:
4
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
Publicado 2005
Número de Clasificación:
Cargando...
Situado:
Cargando...
eBook
Cargando...
Mostrar Código QR
Engadir a favoritos
Gardado en:
5
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /
Publicado 2005
Número de Clasificación:
Cargando...
Situado:
Cargando...
eBook
Cargando...
Mostrar Código QR
Engadir a favoritos
Gardado en:
6
Logic for Programming, Aritficial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /
Publicado 2006
Número de Clasificación:
Cargando...
Situado:
Cargando...
eBook
Cargando...
Mostrar Código QR
Engadir a favoritos
Gardado en:
Ferramentas de procura:
RSS
—
Enviar por correo electrónico esta procura
—
Gardar procuras
Atrás
Resultados Agrupados
Institución
UKM
6
Biblioteca
UKM-Gospejna 10
6
Formato
eBook
6
Autor
SpringerLink (Online service)
6
Voronkov, Andrei
Baader, Franz
1
Dershowitz, Nachum
1
Diekert, Volker
1
Hermann, Miki
1
Máis ...
Sutcliffe, Geoff
1
Virbitskaite, Irina
1
Volkov, Mikhail V.
1
ver todos ...
menos ...
Idioma
English
Ano de Publicación
De:
a:
×
Cargando...