E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Logic for Programming and Automated Reasoning	Harald GanzingerDavid McAllesterAndrei Voronkov	Springer	_	1999
Logic for Programming, Artificial Intelligence, and Reasoning	Moshe Y. VardiAndrei Voronkov	Springer	_	2003
Logic for Programming, Artificial Intelligence, and Reasoning	Nikolaj Bj�rnerAndrei Voronkov	Springer	9783642287176	2012
Logic for Programming, Artificial Intelligence, and Reasoning	Miki HermannAndrei Voronkov	Springer	_	2006
Logic for Programming, Artificial Intelligence, and Reasoning	Iliano CervesatoHelmut VeithAndrei Voronkov	Springer	_	2008
Logic for Programming, Artificial Intelligence, and Reasoning	Christian G. Ferm�llerAndrei Voronkov	Springer	_	2010
Logic for Programming, Artificial Intelligence, and Reasoning	Nachum DershowitzAndrei Voronkov	Springer	_	2007
Logic for Programming, Artificial Intelligence, and Reasoning	Franz BaaderAndrei Voronkov	Springer	_	2005
Logic for Programming, Artificial Intelligence, and Reasoning	Geoff SutcliffeAndrei Voronkov	Springer	_	2005
Logic for Programming, Artificial Intelligence, and Reasoning	Matthias BaazAndrei Voronkov	Springer	_	2002
Logic for Programming, Artificial Intelligence, and Reasoning	Edmund M. ClarkeAndrei Voronkov	Springer	_	2010
Logic for Programming, Artificial Intelligence, and Reasoning	Robert NieuwenhuisAndrei Voronkov	Springer	_	2001
Logic in Databases	Dino PedreschiCarlo Zaniolo	Springer	_	1996
Logic of Programs	Erwin Engeler	Springer	_	1981
Logic Pro 8	Mark Cousins and Russ Hepworth-Sawyer	Elsevier	9780240520476	2008
Logic Program Synthesis and Transformation	Maurizio Proietti	Springer	_	1996
Logic Program Synthesis and Transformation	John Gallagher	Springer	_	1997
Logic Program Synthesis and Transformation	Norbert E. Fuchs	Springer	_	1998
Logic Program Synthesis and Transformation � Meta-Programming in Logic	Laurent FribourgFranco Turini	Springer	_	1994
Logic Programming	Sandro EtalleMiros?aw Truszczy?ski	Springer	_	2006
Logic Programming	A. Voronkov	Springer	9783540470830	1992
Logic Programming	Catuscia Palamidessi	Springer	_	2003
Logic Programming	Bart DemoenVladimir Lifschitz	Springer	_	2004
Logic Programming	Maria Garcia de la BandaEnrico Pontelli	Springer	_	2008
Logic Programming	Philippe Codognet	Springer	_	2001