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...

Celý popis

Podrobná bibliografie

Další autoři:	Giesl, Jürgen (Editor)  Hähnle, Reiner, 1962- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	IJCAR 2010 (5. : Edinburgh, Velká Británie)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2010
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-14203-1 978-3-642-14202-4 3-642-14202-8
Témata:	informatika programování matematická logika umělá inteligence
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!