Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /

Na minha lista:
Detalhes bibliográficos
Principais autores: Mohamed, Otmane Ait., Muñoz, César., Tahar, Sofiène., SpringerLink (Online service)
Formato: Digital
Publicado em:
Assuntos:
Engenharia de software.
Inteligência artificial.
Lógica simbólica e matemática.
Computação.
Logic Design.
Endereço do item:http://dx.doi.org/10.1007/978-3-540-71067-7
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-211131
record_format dspace
spelling oai:localhost:123456789-2111312023-07-17T15:10:37Z Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / Mohamed, Otmane Ait. Muñoz, César. Tahar, Sofiène. SpringerLink (Online service) Engenharia de software. Inteligência artificial. Lógica simbólica e matemática. Computação. Logic Design. 0 2022-10-11T17:13:46Z 2022-10-11T17:13:46Z 2008. Digital 004.41 T396 9783540710677 196201 http://dx.doi.org/10.1007/978-3-540-71067-7 http://dx.doi.org/10.1007/978-3-540-71067-7
institution Acervo SISBI
collection SIGAA
topic Engenharia de software.
Inteligência artificial.
Lógica simbólica e matemática.
Computação.
Logic Design.
spellingShingle Engenharia de software.
Inteligência artificial.
Lógica simbólica e matemática.
Computação.
Logic Design.
Mohamed, Otmane Ait.
Muñoz, César.
Tahar, Sofiène.
SpringerLink (Online service)
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
description
format Digital
author Mohamed, Otmane Ait.
Muñoz, César.
Tahar, Sofiène.
SpringerLink (Online service)
author_facet Mohamed, Otmane Ait.
Muñoz, César.
Tahar, Sofiène.
SpringerLink (Online service)
author_sort Mohamed, Otmane Ait.
title Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
title_short Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
title_full Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
title_fullStr Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
title_full_unstemmed Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
title_sort theorem proving in higher order logics 21st international conference, tphols 2008, montreal, canada, august 18-21, 2008. proceedings /
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-71067-7
work_keys_str_mv AT mohamedotmaneait theoremprovinginhigherorderlogics21stinternationalconferencetphols2008montrealcanadaaugust18212008proceedings
AT munozcesar theoremprovinginhigherorderlogics21stinternationalconferencetphols2008montrealcanadaaugust18212008proceedings
AT taharsofiene theoremprovinginhigherorderlogics21stinternationalconferencetphols2008montrealcanadaaugust18212008proceedings
AT springerlinkonlineservice theoremprovinginhigherorderlogics21stinternationalconferencetphols2008montrealcanadaaugust18212008proceedings
_version_ 1771689977666600960

Registros relacionados