Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully re...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Brünnler, Kai (Editor ), Metcalfe, George (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Lecture Notes in Artificial Intelligence, 6793
Temas:
Artificial intelligence.
Machine theory.
Computer programming.
Software engineering.
Computer science.
Artificial Intelligence.
Formal Languages and Automata Theory.
Programming Techniques.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-22119-4
003 DE-He213
005 20221012194843.0
007 cr nn 008mamaa
008 110615s2011 gw | s |||| 0|eng d
020 |a 9783642221194  |9 978-3-642-22119-4 
024 7 |a 10.1007/978-3-642-22119-4  |2 doi 
050 4 |a Q334-342 
050 4 |a TA347.A78 
072 7 |a UYQ  |2 bicssc 
072 7 |a COM004000  |2 bisacsh 
072 7 |a UYQ  |2 thema 
082 0 4 |a 006.3  |2 23 
245 1 0 |a Automated Reasoning with Analytic Tableaux and Related Methods  |h [electronic resource] :  |b 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /  |c edited by Kai Brünnler, George Metcalfe. 
250 |a 1st ed. 2011. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2011. 
300 |a VIII, 279 p. 40 illus., 4 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Artificial Intelligence,  |x 2945-9141 ;  |v 6793 
520 |a This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering. 
650 0 |a Artificial intelligence. 
650 0 |a Machine theory. 
650 0 |a Computer programming. 
650 0 |a Software engineering. 
650 0 |a Computer science. 
650 1 4 |a Artificial Intelligence. 
650 2 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Software Engineering. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
700 1 |a Brünnler, Kai.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Metcalfe, George.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642221187 
776 0 8 |i Printed edition:  |z 9783642221200 
830 0 |a Lecture Notes in Artificial Intelligence,  |x 2945-9141 ;  |v 6793 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-22119-4  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710) 

Ejemplares similares