Free Downloads Andrei Voronkov Books

Showing 1 to 30 of 71 results

ISBN 10: 3540554602
ISBN 13: 9783540554608

06 May 1992
Andrei Voronkov
Download Logic Programming by Andrei Voronkov

ISBN 10: 354055727X
ISBN 13: 9783540557272

01 Nov 1999
Andrei Voronkov
Download Logic Programming and Automated Reasoning by Andrei Voronkov

ISBN 10: 3540439315
ISBN 13: 9783540439318

01 Aug 2002
Andrei Voronkov
Download Automated Deduction - CADE-18 by Andrei Voronkov

ISBN 10: 3540708804
ISBN 13: 9783540708803

22 Mar 2007
Andrei Voronkov
Download Perspectives of Systems Informatics by Andrei Voronkov

ISBN 10: 3540569448
ISBN 13: 9783540569442

01 Nov 1999
Andrei Voronkov
Download Logic Programming and Automated Reasoning by Andrei Voronkov

ISBN 10: 3662468220
ISBN 13: 9783662468227

30 Apr 2015
Andrei Voronkov
Download Perspectives of System Informatics by Andrei Voronkov

ISBN 10: 3642376509
ISBN 13: 9783642376504

03 Apr 2013
Andrei Voronkov
Download Programming Logics by Andrei Voronkov

ISBN 10: 3540705880
ISBN 13: 9783540705888

03 Sep 2008
Andrei Voronkov
Download Rewriting Techniques and Applications by Andrei Voronkov

ISBN 10: 3319415786
ISBN 13: 9783319415789

28 Jun 2016
Manuel Mazzara
Download Perspectives of System Informatics by Manuel Mazzara

ISBN 10: 3540482814
ISBN 13: 9783540482819

03 Jan 2007
Miki Hermann
Download Logic for Programming, Artificial Intelligence, and Reasoning by Miki Hermann

ISBN 10: 3540429573
ISBN 13: 9783540429579

01 Jan 2002
Robert Nieuwenhuis
Download Logic for Programming, Artificial Intelligence, and Reasoning by Robert Nieuwenhuis

ISBN 10: 364216241X
ISBN 13: 9783642162411

07 Nov 2010
Christian G. Fermüller
Download Logic for Programming, Artificial Intelligence, and Reasoning by Christian G. Fermüller

ISBN 10: 3642114857
ISBN 13: 9783642114854

01 May 2010
Amir Pnueli
Download Perspectives of Systems Informatics by Amir Pnueli

ISBN 10: 3642452205
ISBN 13: 9783642452208

02 Dec 2013
Ken McMillan
Download Logic for Programming, Artificial Intelligence, and Reasoning by Ken McMillan

ISBN 10: 3319743120
ISBN 13: 9783319743127

18 Jan 2018
Alexander K. Petrenko
Download Perspectives of System Informatics by Alexander K. Petrenko

ISBN 10: 3540755586
ISBN 13: 9783540755586

07 Dec 2007
Nachum Dershowitz
Download Logic for Programming, Artificial Intelligence, and Reasoning by Nachum Dershowitz

ISBN 10: 3540412859
ISBN 13: 9783540412854

01 Nov 2000
Michel Parigot
Download Logic for Programming and Automated Reasoning by Michel Parigot

ISBN 10: 0444829490
ISBN 13: 9780444829498

01 Jul 2001
Alan J.A. Robinson
Download Handbook of Automated Reasoning: Volume I by Alan J.A. Robinson

ISBN 10: 3540201017
ISBN 13: 9783540201014

12 Sep 2003
Moshe Vardi
Download Logic for Programming, Artificial Intelligence, and Reasoning by Moshe Vardi

ISBN 10: 354030553X
ISBN 13: 9783540305538

15 Feb 2006
Geoff Sutcliffe
Download Logic for Programming, Artificial Intelligence, and Reasoning by Geoff Sutcliffe

ISBN 10: 3540000100
ISBN 13: 9783540000105

01 Mar 2003
Matthias Baaz
Download Logic for Programming, Artificial Intelligence, and Reasoning by Matthias Baaz

ISBN 10: 3642175104
ISBN 13: 9783642175107

09 Mar 2011
Jr. Edmund M. Clarke
Download Logic for Programming, Artificial Intelligence, and Reasoning by Jr. Edmund M. Clarke

ISBN 10: 3030374866
ISBN 13: 9783030374860

14 Dec 2019
Nikolaj Bjorner
Download Perspectives of System Informatics by Nikolaj Bjorner

ISBN 10: 3642297080
ISBN 13: 9783642297083

01 Sep 2012
Edmund Clarke
Download Perspectives of Systems Informatics by Edmund Clarke

ISBN 10: 0444508120
ISBN 13: 9780444508126

01 Jul 2001
Alan J.A. Robinson
Download Handbook of Automated Reasoning: Volume II by Alan J.A. Robinson

ISBN 10: 3642287166
ISBN 13: 9783642287169

21 Mar 2012
Nikolaj Bjorner
Download Logic for Programming, Artificial Intelligence, and Reasoning by Nikolaj Bjorner

ISBN 10: 3540664920
ISBN 13: 9783540664925

01 Nov 1999
Harald Ganzinger
Download Logic Programming and Automated Reasoning by Harald Ganzinger

ISBN 10: 3540894381
ISBN 13: 9783540894384

01 Dec 2008
Iliano Cervesato
Download Logic for Programming, Artificial Intelligence, and Reasoning by Iliano Cervesato

ISBN 10: 3540745092
ISBN 13: 9783540745099

14 Sep 2007
Volker Diekert
Download Computer Science - Theory and Applications by Volker Diekert

ISBN 10: 3662488981
ISBN 13: 9783662488980

03 Dec 2015
Martin Davis
Download Logic for Programming, Artificial Intelligence, and Reasoning by Martin Davis