Logic-Based Program Synthesis and Transformation

Na minha lista:
Detalhes bibliográficos
Principais autores: King, Andy, SpringerLink (Online service), International Symposium, LOPSTR 2007
Formato: Digital
Publicado em:
Assuntos:
Computação.
Inteligência artificial.
Endereço do item:http://dx.doi.org/10.1007/978-3-540-78769-3
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-211324
record_format dspace
spelling oai:localhost:123456789-2113242023-07-17T15:11:07Z Logic-Based Program Synthesis and Transformation King, Andy SpringerLink (Online service) International Symposium, LOPSTR 2007 Computação. Inteligência artificial. 0 2022-10-11T17:17:01Z 2022-10-11T17:17:01Z 2008. Digital 004 L832 9783540787693 196522 http://dx.doi.org/10.1007/978-3-540-78769-3 http://dx.doi.org/10.1007/978-3-540-78769-3
institution Acervo SISBI
collection SIGAA
topic Computação.
Inteligência artificial.
spellingShingle Computação.
Inteligência artificial.
King, Andy
SpringerLink (Online service)
International Symposium, LOPSTR 2007
Logic-Based Program Synthesis and Transformation
description
format Digital
author King, Andy
SpringerLink (Online service)
International Symposium, LOPSTR 2007
author_facet King, Andy
SpringerLink (Online service)
International Symposium, LOPSTR 2007
author_sort King, Andy
title Logic-Based Program Synthesis and Transformation
title_short Logic-Based Program Synthesis and Transformation
title_full Logic-Based Program Synthesis and Transformation
title_fullStr Logic-Based Program Synthesis and Transformation
title_full_unstemmed Logic-Based Program Synthesis and Transformation
title_sort logic-based program synthesis and transformation
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-78769-3
work_keys_str_mv AT kingandy logicbasedprogramsynthesisandtransformation
AT springerlinkonlineservice logicbasedprogramsynthesisandtransformation
AT internationalsymposiumlopstr2007 logicbasedprogramsynthesisandtransformation
_version_ 1771689262702395392

Registros relacionados