Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

Na minha lista:

Detalhes bibliográficos
Principais autores:	Duparc, Jacques., Henzinger, T. A., European Association for Computer Science Logic., International Workshop, CSL 2007
Formato:	Livro
Publicado em:
Assuntos:	Lógica de computador.
Endereço do item:	https://app.bczm.ufrn.br/home/#/item/116350
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

id	oai:localhost:123456789-200868
record_format	dspace
spelling	oai:localhost:123456789-2008682022-11-30T10:30:12Z Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings / Duparc, Jacques. Henzinger, T. A. European Association for Computer Science Logic. International Workshop, CSL 2007 Lógica de computador. 2 2022-10-11T05:31:12Z 2022-10-11T05:31:12Z c2007. Livro 004.32 C738 9783540749141 (broch.) 116350 https://app.bczm.ufrn.br/home/#/item/116350 https://app.bczm.ufrn.br/home/#/item/116350
institution	Acervo SISBI
collection	SIGAA
topic	Lógica de computador.
spellingShingle	Lógica de computador. Duparc, Jacques. Henzinger, T. A. European Association for Computer Science Logic. International Workshop, CSL 2007 Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
description
format	Livro
author	Duparc, Jacques. Henzinger, T. A. European Association for Computer Science Logic. International Workshop, CSL 2007
author_facet	Duparc, Jacques. Henzinger, T. A. European Association for Computer Science Logic. International Workshop, CSL 2007
author_sort	Duparc, Jacques.
title	Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
title_short	Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
title_full	Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
title_fullStr	Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
title_full_unstemmed	Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /
title_sort	computer science logic : 21st international workshop, csl 2007, 16th annual conference of the eacsl, lausanne, switzerland, september 11-15, 2007 : proceedings /
publishDate	2022
url	https://app.bczm.ufrn.br/home/#/item/116350
work_keys_str_mv	AT duparcjacques computersciencelogic21stinternationalworkshopcsl200716thannualconferenceoftheeacsllausanneswitzerlandseptember11152007proceedings AT henzingerta computersciencelogic21stinternationalworkshopcsl200716thannualconferenceoftheeacsllausanneswitzerlandseptember11152007proceedings AT europeanassociationforcomputersciencelogic computersciencelogic21stinternationalworkshopcsl200716thannualconferenceoftheeacsllausanneswitzerlandseptember11152007proceedings AT internationalworkshopcsl2007 computersciencelogic21stinternationalworkshopcsl200716thannualconferenceoftheeacsllausanneswitzerlandseptember11152007proceedings
_version_	1766814435798679552

Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

Registros relacionados