E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Theorem Proving in Higher Order Logics	Victor A. Carre�oC�sar A. Mu�ozSofi�ne Tahar	Springer	_	2002
Theorem Proving in Higher Order Logics	Konrad SlindAnnette BunkerGanesh Gopalakrishnan	Springer	_	2004
Theorem Proving in Higher Order Logics	Joe HurdTom Melham	Springer	_	2005
Theorem Proving in Higher Order Logics	Yves BertotGilles DowekLaurent Th�ryAndr� HirschowitzChristine Paulin	Springer	_	1999
Theorem Proving in Higher Order Logics	Elsa L. GunterAmy Felty	Springer	_	1997
Theorem Proving in Higher Order Logics	Gerhard GoosJuris HartmanisJan van LeeuwenJoakim von WrightJim GrundyJohn Harrison	Springer	_	1996
Theorem Proving in Higher Order Logics	Mark AagaardJohn Harrison	Springer	_	2000
Theorem Proving in Higher Order Logics	Klaus SchneiderJens Brandt	Springer	_	2007
Theorem Proving in Higher Order Logics	David BasinBurkhart Wolff	Springer	_	2003
Theorem Proving in Higher Order Logics	Stefan BerghoferTobias NipkowChristian UrbanMakarius Wenzel	Springer	_	2009
Theorem Proving in Higher Order Logics	Otmane Ait MohamedC�sar Mu�ozSofi�ne Tahar	Springer	_	2008
Theorem Proving with Analytic Tableaux and Related Methods	Peter BaumgartnerReiner H�hnleJoachim Possega	Springer	_	1995
Theorem Proving with Analytic Tableaux and Related Methods	P. MiglioliU. MoscatoD. MundiciM. Ornaghi	Springer	_	1996
Theoretical and Practical Aspects of SPIN Model Checking	Dennis DamsRob GerthStefan LeueMieke Massink	Springer	_	1999
Theoretical Aspects of Computer Science	Gholamreza B. KhosrovshahiAli ShokoufandehAmin Shokrollahi	Springer	_	2002
Theoretical Aspects of Computer Software	Mart�n AbadiTakayasu Ito	Springer	_	1997
Theoretical Aspects of Computer Software	Takayasu ItoAlbert R. Meyer	Springer	_	1991
Theoretical Aspects of Computer Software	Naoki KobayashiBenjamin C. Pierce	Springer	_	2001
Theoretical Aspects of Computer Software	Masami HagiyaJohn C. Mitchell	Springer	9783540483830	1994
Theoretical Aspects of Computing - ICTAC 2004	Zhiming LiuKeijiro Araki	Springer	_	2005
Theoretical Aspects of Computing - ICTAC 2006	Kamel BarkaouiAna CavalcantiAntonio Cerone	Springer	_	2006
Theoretical Aspects of Computing - ICTAC 2008	John S. FitzgeraldAnne E. HaxthausenHusnu Yenigun	Springer	_	2008
Theoretical Aspects of Computing - ICTAC 2009	Martin LeuckerCarroll Morgan	Springer	_	2009
Theoretical Aspects of Computing � ICTAC 2012	Abhik RoychoudhuryMeenakshi D�Souza	Springer	9783642329432	2012
Theoretical Aspects of Computing � ICTAC 2005	Dang Van HungMartin Wirsing	Springer	_	2005