E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Automated Deduction � CADE-20	Robert Nieuwenhuis	Springer	_	2005
Automated Deduction � CADE-21	Frank Pfenning	Springer	_	2007
Automated Deduction � CADE-22	Renate A. Schmidt	Springer	_	2009
Automated Deduction � CADE-23	Nikolaj Bj�rnerViorica Sofronie-Stokkermans	Springer	_	2011
Automated Deduction � CADE-12	Alan Bundy	Springer	_	1994
Automated Deduction � Cade-13	M. A. McRobbieJ. K. Slaney	Springer	_	1996
Automated Deduction � CADE-15	Claude KirchnerH�l�ne Kirchner	Springer	_	1998
Automated Deduction � CADE-16	Harald Ganzinger	Springer	_	1999
Automated Deduction�CADE-11	Deepak Kapur	Springer	_	1992
Automated Deduction�CADE-14	William McCune	Springer	_	1997
Automated Deduction�CADE-18	Andrei Voronkov	Springer	_	2002
Automated Modeling of Physical Systems	P. Pandurang Nayak	Springer	_	1995
Automated Reasoning	Bernhard GramlichDale MillerUli Sattler	Springer	9783642313653	2012
Automated Reasoning	Ulrich FurbachNatarajan Shankar	Springer	_	2006
Automated Reasoning	David BasinMicha�l Rusinowitch	Springer	_	2004
Automated Reasoning	J�rgen GieslReiner H�hnle	Springer	_	2010
Automated Reasoning	Alessandro ArmandoPeter BaumgartnerGilles Dowek	Springer	_	2008
Automated Reasoning	Rajeev Gor�Alexander LeitschTobias Nipkow	Springer	_	2001
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security	Alessandro ArmandoGavin Lowe	Springer	_	2010
Automated Reasoning with Analytic Tableaux and Related Methods	Marta Cialdea MayerFiora Pirri	Springer	_	2003
Automated Reasoning with Analytic Tableaux and Related Methods	Didier Galmiche	Springer	_	1997
Automated Reasoning with Analytic Tableaux and Related Methods	Uwe EglyChritian G. Ferm�ller	Springer	_	2002
Automated Reasoning with Analytic Tableaux and Related Methods	Martin GieseArild Waaler	Springer	_	2009
Automated Reasoning with Analytic Tableaux and Related Methods	Kai Br�nnlerGeorge Metcalfe	Springer	_	2011
Automated Reasoning with Analytic Tableaux and Related Methods	Neil V. Murray	Springer	_	1999