30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / Das, Anupam ; Negri, Sara  

Público ISBD Ningún comentario para este registro. Título : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings Tipo de documento: documento electrónico Autores: Das, Anupam, ; Negri, Sara, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIX, 467 p. 87 ilustraciones, 13 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-86059-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Inteligencia artificial  Teoría de las máquinas  Ciencias de la Computación  Ingeniería de software  Sistemas informáticos  Microprogramación  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Implementación de sistema informático  Estructuras de control y microprogramación Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas de la 30.ª Conferencia Internacional sobre Razonamiento Automatizado con Cuadros Analíticos y Métodos Relacionados, TABLEAUX 2021, celebrada en Birmingham, Reino Unido, en septiembre de 2021. Los 23 artículos completos y las 3 descripciones de sistemas incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados. de 46 presentaciones. Presentan investigaciones sobre todos los aspectos de la mecanización del razonamiento basado en cuadros y métodos relacionados, incluidos fundamentos teóricos, técnicas de implementación, desarrollo de sistemas y aplicaciones. Los artículos están organizados en las siguientes secciones temáticas: cálculos de cuadro, cálculos secuenciales, demostración de teoremas, demostraciones formalizadas, demostraciones no bien fundamentadas, demostradores de teoremas automatizados y lógica modal intuicionista. Nota de contenido: Tableau Calculi -- Sequent Calculi -- Theorem Proving -- Formalized Proofs -- Non-Wellfounded Proofs -- Intuitionistic Modal Logics. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings [documento electrónico] / Das, Anupam, ; Negri, Sara,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XIX, 467 p. 87 ilustraciones, 13 ilustraciones en color. ISBN : 978-3-030-86059-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Inteligencia artificial  Teoría de las máquinas  Ciencias de la Computación  Ingeniería de software  Sistemas informáticos  Microprogramación  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación  Implementación de sistema informático  Estructuras de control y microprogramación Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas de la 30.ª Conferencia Internacional sobre Razonamiento Automatizado con Cuadros Analíticos y Métodos Relacionados, TABLEAUX 2021, celebrada en Birmingham, Reino Unido, en septiembre de 2021. Los 23 artículos completos y las 3 descripciones de sistemas incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados. de 46 presentaciones. Presentan investigaciones sobre todos los aspectos de la mecanización del razonamiento basado en cuadros y métodos relacionados, incluidos fundamentos teóricos, técnicas de implementación, desarrollo de sistemas y aplicaciones. Los artículos están organizados en las siguientes secciones temáticas: cálculos de cuadro, cálculos secuenciales, demostración de teoremas, demostraciones formalizadas, demostraciones no bien fundamentadas, demostradores de teoremas automatizados y lógica modal intuicionista. Nota de contenido: Tableau Calculi -- Sequent Calculi -- Theorem Proving -- Formalized Proofs -- Non-Wellfounded Proofs -- Intuitionistic Modal Logics. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Por página: 25 50 100 200