Automated reasoning : 5th International joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings

This volume contains the proceedings of the 5th International joint conference on automated reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated logic conference, hosted by the School of informatics at the University of Edinburgh,Scotland. Support by the confer...

Full description

Bibliographic Details

Other Authors:	Giesl, Jürgen (Editor)  Hähnle, Reiner, 1962- (Editor)
Corporate Author:	SpringerLink (online služba) (Distributor)
Conference:	IJCAR 2010 (5. : Edinburgh, Velká Británie)
Format:	eBook
Language:	English
Published:	Berlin ; Heidelberg ; New York : Springer, 2010
Series:	Lecture notes in computer science
Genre/form:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-14203-1 978-3-642-14202-4 3-642-14202-8
Subjects:	informatika programování matematická logika umělá inteligence
Online Access:	Plný text
Tags:	Add Tag No Tags, Be the first to tag this record!