Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /

edited by Hans De Nivelle.
Bok · Engelsk · 2015

Medvirkende	De Nivelle, Hans. (editor.)
Omfang	1 online resource (XVI, 355 p. 70 illus. in color.)
Utgave	1st ed. 2015.
Opplysninger	Bibliographic Level Mode of Issuance: Monograph. - This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015.  The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications. .
Emner	Artificial intelligence. Computer logic. Computer programming. Computer science—Mathematics. Vis mer... Mathematical logic. Software engineering. Artificial Intelligence. : https://scigraph.springernature.com/ontologies/product-market-codes/I21000 Discrete Mathematics in Computer Science. : https://scigraph.springernature.com/ontologies/product-market-codes/I17028 Logics and Meanings of Programs. : https://scigraph.springernature.com/ontologies/product-market-codes/I1603X Mathematical Logic and Formal Languages. : https://scigraph.springernature.com/ontologies/product-market-codes/I16048 Programming Techniques. : https://scigraph.springernature.com/ontologies/product-market-codes/I14010 Software Engineering. : https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Dewey	006.3
ISBN	3-319-24312-8. - 978-3-319-24312-2