dov d. gabbay author - Books - 24x7 online bookstore Bookswagon.ae

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

17 results found

Sort By:

Handbook of Tableau Methods

By: M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

Publisher: Springer

No Review Yet

AED967

Binding:	Paperback
Release:	07 Dec 2010
Language:	English

International Edition

Ships within 12-14 Days Explain..

Labelled Deduction

By: M. D'Agostino, Luca Viganò, Dov M. Gabbay, David Basin, Seán Matthews

Publisher: Springer

No Review Yet

AED487

Binding:	Paperback
Release:	08 Oct 2012
Language:	English

International Edition

Ships within 12-14 Days Explain..

Neural-Symbolic Cognitive Reasoning

By: Dov M. Gabbay, Artur S. D'Avila Garcez, Luís C. Lamb

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

No Review Yet

AED268

Binding:	Hardback
Release:	22 Oct 2008
Language:	English

Available

Ships within 12-14 Days Explain..

Neural-Symbolic Cognitive Reasoning

By: Dov M. Gabbay, Artur S. D'Avila Garcez, Luís C. Lamb

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

No Review Yet

AED341

Binding:	Paperback
Release:	18 Nov 2010
Language:	English

International Edition

Ships within 14-16 Days Explain..

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

By: Dov M. Gabbay, C. J. Hogger, J. A. Robinson, D. Nute

Publisher: Oxford University Press

No Review Yet

AED2,167

Binding:	Hardback
Release:	17 Mar 1994
Language:	English

International Edition

Ships within 14-16 Days Explain..

Neural-Symbolic Learning Systems

By: Dov M. Gabbay, Krysia B. Broda, Artur S. D'Avila Garcez

Publisher: Springer London Ltd

No Review Yet

AED482

Binding:	Paperback
Release:	06 Aug 2002
Language:	English

Available

Ships within 2-4 Days Explain..

Handbook of Tableau Methods

By: M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

Publisher: Kluwer Academic Publishers

No Review Yet

AED970

Binding:	Hardback
Release:	31 Mar 1999
Language:	English

International Edition

Ships within 12-14 Days Explain..

Labelled Deduction

By: M. D'Agostino, Luca Viganò, Dov M. Gabbay, David Basin, Seán Matthews

Publisher: Kluwer Academic Publishers

No Review Yet

AED493

Binding:	Hardback
Release:	30 Apr 2000
Language:	English

International Edition

Ships within 12-14 Days Explain..

Labelled Deduction

By: David Basin, Dov M Gabbay, M D'Agostino

Publisher: Springer My Copy UK

No Review Yet

AED105

Binding:	Paperback
Release:	30 Apr 2000

Out of Stock

Notify me when this book is in stockNotify Me

10.

Handbook of Tableau Methods

By: Dov M Gabbay, M D'Agostino, Doctor Reiner Hahnle (University of Karlsruhe, 7500 Karlsruhe)

Publisher: Springer

No Review Yet

AED105

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

11.

Agenda Relevance

By: D M Gabbay, Dov M Gabbay, Unknown Author

Publisher: North-Holland

No Review Yet

AED794

Binding:	Digital (delivered electronically)
Release:	14 May 2014
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

12.

The Rise of Modern Logic

By: John Woods, D M Gabbay, Dov M Gabbay

Publisher: North-Holland

No Review Yet

AED1,017

Binding:	Digital (delivered electronically)
Release:	08 Mar 2004
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

13.

Mathematical Problems from Applied Logic I: Logics for the Xxist Century

By: Sergei S Goncharov, D Gabbay, Professor of Mathematics Michael Zakharyaschev (Freie Universitat Berlin Moscow State University Freie Universitat Berlin Freie Universitat Berlin Moscow State University), Professor Department of Computing Dov M Gabbay (Imperial College, Univ. of London, UK Imperial College of Science, Technology and Medicine, London Imperial College of Science, Technology and Medicine, London Imperial College, Univ. of London, UK Imperial

Publisher: Springer New York

No Review Yet

AED932

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

Out of Stock

Notify me when this book is in stockNotify Me

14.

Neural-Symbolic Cognitive Reasoning

By: Artur S D'Avila Garcez, Department of Computer Science Dov M Gabbay (Imperial College, Univ. of London, UK Imperial College of Science, Technology and Medicine, London Imperial College of Science, Technology and Medicine, London Imperial College, Univ. of London, UK Imperial Col, Lu?'s s Lamb

Publisher: Springer

No Review Yet

AED105

Binding:	Paperback
Release:	15 Feb 2009

Out of Stock

Notify me when this book is in stockNotify Me

15.

Rise of Modern Logic: From Leibniz to Frege, The: From Leibniz to Frege

By: John Hayden Woods, D M Gabbay, Professor Department of Computing Dov M Gabbay (Imperial College, Univ. of London, UK Imperial College of Science, Technology and Medicine, London Imperial College of Science, Technology and Medicine, London Imperial College, Univ. of London, UK Imperial, John Woods (University of British Columbia, Vancouver)

Publisher: North-Holland

No Review Yet

AED1,159

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

Out of Stock

Notify me when this book is in stockNotify Me

16.

Handbook of Temporal Reasoning in Artificial Intelligence

By: Lluis Vila, Michael David Fisher, M Fisher, Department of Computer Science Dov M Gabbay (Imperial College, Univ. of London, UK Imperial College of Science, Technology and Medicine, London Imperial College of Science, Technology and Medicine, London Imperial College, Univ. of London, UK Imperial Col, D Gabbay

Publisher: Elsevier Science

No Review Yet

AED37

Binding:	Graphic Novel
Release:	01 Jan 2005

Out of Stock

Notify me when this book is in stockNotify Me

No more records found