1.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED506

Binding:	Paperback
Release:	03 Jun 1998
Language:	English

International Edition

Ships within 10-12 Days Explain..

2.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

By: Moshe Y. Vardi, Doron A. Peled

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED225

Binding:	Paperback
Release:	28 Oct 2002
Language:	English

Available

Ships within 14-16 Days Explain..

3.

Database Theory - ICDT '95

By: Moshe Y. Vardi, Georg Gottlob

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED161

Binding:	Paperback
Release:	03 Jan 1995
Language:	English

Available

Ships within 10-12 Days Explain..

4.

Finite Model Theory and Its Applications

By: Moshe Y. Vardi, Scott Weinstein, Yde Venema, Joel Spencer, Phokion G. Kolaitis

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED460

Binding:	Hardback
Release:	24 Apr 2007
Language:	English

International Edition

Ships within 10-12 Days Explain..

5.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Moshe Vardi

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED225

Binding:	Paperback
Release:	12 Sep 2003
Language:	English

Available

Ships within 14-16 Days Explain..

6.

Reasoning About Knowledge

By: Joseph Y. Halpern, Ronald Fagin, Yoram Moses, Moshe Vardi

Publisher: MIT Press Ltd

No Review Yet

AED363

Binding:	Paperback
Release:	09 Jan 2004
Language:	English

International Edition

Ships within 10-12 Days Explain..

7.

Reasoning About Knowledge

By: Joseph Y. Halpern, Ronald Fagin, Yoram Moses, Moshe Vardi

Publisher: MIT Press Ltd

No Review Yet

AED54

Binding:	Digital online
Release:	20 Jun 2019

Out of Stock

Notify me when this book is in stockNotify Me

8.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Moshe Vardi

Publisher: Springer

No Review Yet

AED245

Binding:	Digital (delivered electronically)
Release:	01 Aug 2006
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

9.

Theoretical Aspects of Reasoning About Knowledge

By: Moshe Vardi

Publisher: Elsevier Science & Technology

No Review Yet

AED161

Binding:	Paperback
Release:	01 Mar 1988
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

10.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Moshe Vardi

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

11.

Database Theory - Icdt '95

By: Georg Gottlob, Moshe y Vardi

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

12.

Formal Techniques for Networked and Distributed Systems - Forte 2002

By: Doron a Peled, Moshe y Vardi

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

13.

Computer Aided Verification

By: Alan J Hu, Moshe Y Vardi

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

14.

Database Theory - Icdt '95

By: Georg Gottlob, Moshe y Vardi

Publisher: Springer

No Review Yet

AED310

Binding:	Digital (delivered electronically)
Release:	01 Apr 1995
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

15.

Finite Model Theory and Its Applications

By: Scott Weinstein, J Spencer, Moshe y Vardi, Y Venema, Erich Gradel (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)

Publisher: Springer Verlag Berlin Heidelberg

No Review Yet

AED207

Binding:	Digital (delivered electronically)
Release:	01 Jan 2007

Out of Stock

Notify me when this book is in stockNotify Me

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter