Cargando…

Logic and its applications: 7th Indian conference, ICLA 2017, Kanpur, India, January 5-7, 2017, proceedings

Detalles Bibliográficos
Autores principales: Ghosh, Sujata, Prasad, Sanjiva
Lenguaje:eng
Publicado: Springer 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761750
_version_ 1780970594826715136
author Ghosh, Sujata
Prasad, Sanjiva
author_facet Ghosh, Sujata
Prasad, Sanjiva
author_sort Ghosh, Sujata
collection CERN
id cern-2761750
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer
record_format invenio
spelling cern-27617502021-04-21T16:39:25Zhttp://cds.cern.ch/record/2761750engGhosh, SujataPrasad, SanjivaLogic and its applications: 7th Indian conference, ICLA 2017, Kanpur, India, January 5-7, 2017, proceedingsXXSpringeroai:cds.cern.ch:27617502016
spellingShingle XX
Ghosh, Sujata
Prasad, Sanjiva
Logic and its applications: 7th Indian conference, ICLA 2017, Kanpur, India, January 5-7, 2017, proceedings
title Logic and its applications: 7th Indian conference, ICLA 2017, Kanpur, India, January 5-7, 2017, proceedings
title_full Logic and its applications: 7th Indian conference, ICLA 2017, Kanpur, India, January 5-7, 2017, proceedings
title_fullStr Logic and its applications: 7th Indian conference, ICLA 2017, Kanpur, India, January 5-7, 2017, proceedings
title_full_unstemmed Logic and its applications: 7th Indian conference, ICLA 2017, Kanpur, India, January 5-7, 2017, proceedings
title_short Logic and its applications: 7th Indian conference, ICLA 2017, Kanpur, India, January 5-7, 2017, proceedings
title_sort logic and its applications: 7th indian conference, icla 2017, kanpur, india, january 5-7, 2017, proceedings
topic XX
url http://cds.cern.ch/record/2761750
work_keys_str_mv AT ghoshsujata logicanditsapplications7thindianconferenceicla2017kanpurindiajanuary572017proceedings
AT prasadsanjiva logicanditsapplications7thindianconferenceicla2017kanpurindiajanuary572017proceedings