Automated reasoning and mathematics : essays in memory of William W. McCune

This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all a...

Full description

Saved in:

Bibliographic Details
Other Authors:	Bonacina, Maria Paola (Editor) Stickel, Mark E. (Editor)
Corporate Author:	SpringerLink (online služba) (Distributor)
Format:	eBook
Language:	English
Published:	Heidelberg ; Dordrecht ; London ; New York : Springer, 2013
Series:	Lecture notes in computer science
Genre/form:	elektronické knihy eseje
ISBN:	978-3-642-36675-8 978-3-642-36674-1
Subjects:	McCune, William W. informatika matematická logika umělá inteligence
Online Access:	Plný text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!