Related Books | Bookwire

1.

Belief Revision

ISBN:: 978-0-511-52666-4

Book Format:: Digital download and online

List Price:: USD $165.00

Publisher:: Cambridge University Press

Publication Date:: Sep 2009

2.

Belief Revision

ISBN:: 978-0-521-54564-8

Book Format:: Paperback

List Price:: USD $79.99

Publisher:: Cambridge University Press

Publication Date:: Dec 2003

3.

Predicate Transformer Semantics

Author:: Manes, Ernest. G.

ISBN:: 978-0-521-61610-2

Book Format:: Paperback

List Price:: USD $63.99

Publisher:: Cambridge University Press

Publication Date:: Dec 2004

4.

Modal Logic

Author:: Blackburn, Patrick
Venema, Yde
de Rijke, Maarten

ISBN:: 978-0-521-52714-9

Book Format:: Paperback

List Price:: USD $108.00

Publisher:: Cambridge University Press

Publication Date:: Aug 2002

5.

Computational Learning Theory

An Introduction

Author:: Biggs, N.
Anthony, M.

ISBN:: 978-0-521-59922-1

Book Format:: Paperback

List Price:: USD $51.99

Publisher:: Cambridge University Press

Publication Date:: Feb 1997

6.

Two-Level Functional Languages

Author:: Nielson, Flemming
Nielson, Hanne Riis

ISBN:: 978-0-521-01847-0

Book Format:: Paperback

List Price:: USD $58.99

Publisher:: Cambridge University Press

Publication Date:: Aug 2005

7.

Lambda-Calculus, Combinators, and Functional Progr... - a book by Revesz, G. E.

Lambda-Calculus, Combinators, and Functional Programming

Author:: Revesz, G. E.

ISBN:: 978-0-521-11429-5

Book Format:: Paperback

List Price:: USD $60.99

Publisher:: Cambridge University Press

Publication Date:: Jun 2009

8.

Deductive and Declarative Programming

Author:: Padawitz, Peter

ISBN:: 978-0-511-56987-6

Book Format:: Digital download and online

List Price:: USD $165.00

Publisher:: Cambridge University Press

Publication Date:: Oct 2009

9.

Formal Semantics and Pragmatics for Natural Langua... - a book by Clifford, James

Formal Semantics and Pragmatics for Natural Language Querying

Author:: Clifford, James

ISBN:: 978-0-521-60274-7

Book Format:: Paperback

List Price:: USD $52.99

Publisher:: Cambridge University Press

Publication Date:: Mar 2004

10.

Updating Logical Databases

Author:: Winslett, Marianne

ISBN:: 978-0-511-66310-9

Book Format:: Digital download and online

List Price:: USD $165.00

Publisher:: Cambridge University Press

Publication Date:: Mar 2010

11.

Process Algebra

Author:: Baeten, J. C. M.
Weijland, W. P.

ISBN:: 978-0-511-62419-3

Book Format:: Digital download and online

List Price:: USD $225.00

Publisher:: Cambridge University Press

Publication Date:: Jan 2010

12.

Nonmonotonic Reasoning

Logical Foundations of Commonsense

Author:: Brewka, Gerhard

ISBN:: 978-0-511-75899-7

Book Format:: Digital download and online

List Price:: USD $165.00

Publisher:: Cambridge University Press

Publication Date:: Jun 2021

13.

Algorithmic Information Theory

Author:: Chaitin, Gregory. J.

ISBN:: 978-0-521-61604-1

Book Format:: Paperback

List Price:: USD $59.99

Publisher:: Cambridge University Press

Publication Date:: Dec 2004

14.

Domains and Lambda-Calculi

Author:: Amadio, Roberto M.
Curien, Pierre-Louis

ISBN:: 978-0-511-98350-4

Book Format:: Digital download and online

List Price:: USD $165.00

Publisher:: Cambridge University Press

Publication Date:: Nov 2011

15.

Rippling

Meta-Level Guidance for Mathematical Reasoning

Author:: Bundy, Alan
Basin, David
Hutter, Dieter
Ireland, Andrew

ISBN:: 978-0-521-83449-0

Book Format:: Hardback

List Price:: USD $111.00

Publisher:: Cambridge University Press

Publication Date:: Jun 2005

16.

Applications of Process Algebra

ISBN:: 978-0-511-87844-2

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Apr 2011

17.

Higher Order Logic and Hardware Verification

Author:: Melham, T. F.

ISBN:: 978-0-511-88068-1

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Apr 2011

18.

Programs, Recursion and Unbounded Choice

Author:: Hesselink, Wim H.

ISBN:: 978-0-511-87921-0

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Apr 2011

19.

Nominal Sets

Names and Symmetry in Computer Science

Author:: Pitts, Andrew M.

ISBN:: 978-1-107-24018-6

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Aug 2013

20.

Applications of Process Algebra

ISBN:: 978-0-521-60750-6

Book Format:: Paperback

List Price:: USD $106.00

Publisher:: Cambridge University Press

Publication Date:: Feb 2005

Books » Related Books

Related Keywords

Refine Options

Featured Books


1.		Belief Revision ISBN: 978-0-511-52666-4 Book Format: Digital download and online List Price: USD $165.00 Publisher: Cambridge University Press Publication Date: Sep 2009 Quantity Note

2.		Belief Revision ISBN: 978-0-521-54564-8 Book Format: Paperback List Price: USD $79.99 Publisher: Cambridge University Press Publication Date: Dec 2003 Quantity Note

3.		Predicate Transformer Semantics Author: Manes, Ernest. G. ISBN: 978-0-521-61610-2 Book Format: Paperback List Price: USD $63.99 Publisher: Cambridge University Press Publication Date: Dec 2004 Quantity Note

4.		Modal Logic Author: Blackburn, Patrick Venema, Yde de Rijke, Maarten ISBN: 978-0-521-52714-9 Book Format: Paperback List Price: USD $108.00 Publisher: Cambridge University Press Publication Date: Aug 2002 Quantity Note

5.		Computational Learning Theory An Introduction Author: Biggs, N. Anthony, M. ISBN: 978-0-521-59922-1 Book Format: Paperback List Price: USD $51.99 Publisher: Cambridge University Press Publication Date: Feb 1997 Quantity Note

6.		Two-Level Functional Languages Author: Nielson, Flemming Nielson, Hanne Riis ISBN: 978-0-521-01847-0 Book Format: Paperback List Price: USD $58.99 Publisher: Cambridge University Press Publication Date: Aug 2005 Quantity Note

7.		Lambda-Calculus, Combinators, and Functional Programming Author: Revesz, G. E. ISBN: 978-0-521-11429-5 Book Format: Paperback List Price: USD $60.99 Publisher: Cambridge University Press Publication Date: Jun 2009 Quantity Note

8.		Deductive and Declarative Programming Author: Padawitz, Peter ISBN: 978-0-511-56987-6 Book Format: Digital download and online List Price: USD $165.00 Publisher: Cambridge University Press Publication Date: Oct 2009 Quantity Note

9.		Formal Semantics and Pragmatics for Natural Language Querying Author: Clifford, James ISBN: 978-0-521-60274-7 Book Format: Paperback List Price: USD $52.99 Publisher: Cambridge University Press Publication Date: Mar 2004 Quantity Note

10.		Updating Logical Databases Author: Winslett, Marianne ISBN: 978-0-511-66310-9 Book Format: Digital download and online List Price: USD $165.00 Publisher: Cambridge University Press Publication Date: Mar 2010 Quantity Note

11.		Process Algebra Author: Baeten, J. C. M. Weijland, W. P. ISBN: 978-0-511-62419-3 Book Format: Digital download and online List Price: USD $225.00 Publisher: Cambridge University Press Publication Date: Jan 2010 Quantity Note

12.		Nonmonotonic Reasoning Logical Foundations of Commonsense Author: Brewka, Gerhard ISBN: 978-0-511-75899-7 Book Format: Digital download and online List Price: USD $165.00 Publisher: Cambridge University Press Publication Date: Jun 2021 Quantity Note

13.		Algorithmic Information Theory Author: Chaitin, Gregory. J. ISBN: 978-0-521-61604-1 Book Format: Paperback List Price: USD $59.99 Publisher: Cambridge University Press Publication Date: Dec 2004 Quantity Note

14.		Domains and Lambda-Calculi Author: Amadio, Roberto M. Curien, Pierre-Louis ISBN: 978-0-511-98350-4 Book Format: Digital download and online List Price: USD $165.00 Publisher: Cambridge University Press Publication Date: Nov 2011 Quantity Note

15.		Rippling Meta-Level Guidance for Mathematical Reasoning Author: Bundy, Alan Basin, David Hutter, Dieter Ireland, Andrew ISBN: 978-0-521-83449-0 Book Format: Hardback List Price: USD $111.00 Publisher: Cambridge University Press Publication Date: Jun 2005 Quantity Note

16.		Applications of Process Algebra ISBN: 978-0-511-87844-2 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Apr 2011 Quantity Note

17.		Higher Order Logic and Hardware Verification Author: Melham, T. F. ISBN: 978-0-511-88068-1 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Apr 2011 Quantity Note

18.		Programs, Recursion and Unbounded Choice Author: Hesselink, Wim H. ISBN: 978-0-511-87921-0 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Apr 2011 Quantity Note

19.		Nominal Sets Names and Symmetry in Computer Science Author: Pitts, Andrew M. ISBN: 978-1-107-24018-6 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Aug 2013 Quantity Note

20.		Applications of Process Algebra ISBN: 978-0-521-60750-6 Book Format: Paperback List Price: USD $106.00 Publisher: Cambridge University Press Publication Date: Feb 2005 Quantity Note