Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon

(Visualizza in formato marc) (Visualizza in BIBFRAME)

Titolo:	Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon
Pubblicazione:	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Edizione:	1st ed. 2017.
Descrizione fisica:	1 online resource (XII, 381 p. 75 illus.)
Disciplina:	511.36028563
Soggetto topico:	Artificial intelligence
	Mathematical logic
	Computer programming
	Software engineering
	Programming languages (Electronic computers)
	Computer logic
	Artificial Intelligence
	Mathematical Logic and Formal Languages
	Programming Techniques
	Software Engineering
	Programming Languages, Compilers, Interpreters
	Logics and Meanings of Programs
Persona (resp. second.):	SchmidtRenate A
	NalonCláudia
Nota di bibliografia:	Includes bibliographical references and index.
Nota di contenuto:	Sequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization and complexity.
Sommario/riassunto:	This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.
Titolo autorizzato:	Automated Reasoning with Analytic Tableaux and Related Methods
ISBN:	3-319-66902-8
Formato:	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione:	Inglese
Record Nr.:	9910482960003321
Lo trovi qui:	Univ. Federico II
Opac:	Controlla la disponibilità qui

Serie: Lecture Notes in Artificial Intelligence ; ; 10501

Documenti simili

Automated Deduction – CADE 27 [[electronic resource] ] : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / / edited by Pascal Fontaine
Automated Deduction – CADE 26 [[electronic resource] ] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / / edited by Leonardo de Moura
Theorem Proving in Higher Order Logics [[electronic resource] ] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / / edited by Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon
Automated Deduction - CADE-25 [[electronic resource] ] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / / edited by Amy P. Felty, Aart Middeldorp

Automated Deduction – CADE 27 [[electronic resource] ] : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / / edited by Pascal Fontaine

Automated Deduction – CADE 26 [[electronic resource] ] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / / edited by Leonardo de Moura

Theorem Proving in Higher Order Logics [[electronic resource] ] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / / edited by Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon

Automated Deduction - CADE-25 [[electronic resource] ] : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / / edited by Amy P. Felty, Aart Middeldorp

1 2 > >>