Computer Science Logic

Na minha lista:
Detalhes bibliográficos
Principais autores: Kaminski, Michael, Martini, Simone, SpringerLink (Online service), International Workshop, CSL 2008, 17th Annual Conference of the EACSL
Formato: Digital
Publicado em:
Assuntos:
Endereço do item:http://dx.doi.org/10.1007/978-3-540-87531-4
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-211526
record_format dspace
spelling oai:localhost:123456789-2115262023-07-17T15:11:32Z Computer Science Logic Kaminski, Michael Martini, Simone SpringerLink (Online service) International Workshop, CSL 2008, 17th Annual Conference of the EACSL Computação. Inteligência artificial. 0 2022-10-11T17:20:13Z 2022-10-11T17:20:13Z 2008. Digital 004 C738 9783540875314 196757 http://dx.doi.org/10.1007/978-3-540-87531-4 http://dx.doi.org/10.1007/978-3-540-87531-4
institution Acervo SISBI
collection SIGAA
topic Computação.
Inteligência artificial.
spellingShingle Computação.
Inteligência artificial.
Kaminski, Michael
Martini, Simone
SpringerLink (Online service)
International Workshop, CSL 2008, 17th Annual Conference of the EACSL
Computer Science Logic
description
format Digital
author Kaminski, Michael
Martini, Simone
SpringerLink (Online service)
International Workshop, CSL 2008, 17th Annual Conference of the EACSL
author_facet Kaminski, Michael
Martini, Simone
SpringerLink (Online service)
International Workshop, CSL 2008, 17th Annual Conference of the EACSL
author_sort Kaminski, Michael
title Computer Science Logic
title_short Computer Science Logic
title_full Computer Science Logic
title_fullStr Computer Science Logic
title_full_unstemmed Computer Science Logic
title_sort computer science logic
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-87531-4
work_keys_str_mv AT kaminskimichael computersciencelogic
AT martinisimone computersciencelogic
AT springerlinkonlineservice computersciencelogic
AT internationalworkshopcsl200817thannualconferenceoftheeacsl computersciencelogic
_version_ 1771688691575554048