Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /

Na minha lista:
Detalhes bibliográficos
Principais autores: Kleine Büning, Hans., Zhao, Xishun., SpringerLink (Online service)
Formato: Digital
Publicado em:
Assuntos:
Sistemas operacionais (Computadores).
Processamento eletrônico de dados.
Inteligência artificial.
Engenharia de software.
Computação.
Endereço do item:http://dx.doi.org/10.1007/978-3-540-79719-7
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-211400
record_format dspace
spelling oai:localhost:123456789-2114002023-07-17T15:11:17Z Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / Kleine Büning, Hans. Zhao, Xishun. SpringerLink (Online service) Sistemas operacionais (Computadores). Processamento eletrônico de dados. Inteligência artificial. Engenharia de software. Computação. 0 2022-10-11T17:18:12Z 2022-10-11T17:18:12Z 2008. Digital 004.451 T396 9783540797197 196625 http://dx.doi.org/10.1007/978-3-540-79719-7 http://dx.doi.org/10.1007/978-3-540-79719-7
institution Acervo SISBI
collection SIGAA
topic Sistemas operacionais (Computadores).
Processamento eletrônico de dados.
Inteligência artificial.
Engenharia de software.
Computação.
spellingShingle Sistemas operacionais (Computadores).
Processamento eletrônico de dados.
Inteligência artificial.
Engenharia de software.
Computação.
Kleine Büning, Hans.
Zhao, Xishun.
SpringerLink (Online service)
Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
description
format Digital
author Kleine Büning, Hans.
Zhao, Xishun.
SpringerLink (Online service)
author_facet Kleine Büning, Hans.
Zhao, Xishun.
SpringerLink (Online service)
author_sort Kleine Büning, Hans.
title Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
title_short Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
title_full Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
title_fullStr Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
title_full_unstemmed Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
title_sort theory and applications of satisfiability testing sat 2008 11th international conference, sat 2008, guangzhou, china, may 12-15, 2008. proceedings /
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-79719-7
work_keys_str_mv AT kleinebuninghans theoryandapplicationsofsatisfiabilitytestingsat200811thinternationalconferencesat2008guangzhouchinamay12152008proceedings
AT zhaoxishun theoryandapplicationsofsatisfiabilitytestingsat200811thinternationalconferencesat2008guangzhouchinamay12152008proceedings
AT springerlinkonlineservice theoryandapplicationsofsatisfiabilitytestingsat200811thinternationalconferencesat2008guangzhouchinamay12152008proceedings
_version_ 1771688687355035648

Registros relacionados