RICARDO CAFERRA, ALEXANDER LEITSCH, NICOLAS PELTIER search results in Books & Audio Books at Pickabook.co.uk

pickabook books with huge discounts for everyone

Visit our new collection website www.collectionsforschool.co.uk

Email: Subscribe to news & offers:

Need assistance?

ABOUT US

About Us
Contact Us
Terms & Conditions

Your search for "AUTHOR = Ricardo Caferra, Alexander Leitsch, Nicolas Peltier" has produced 18 results.

Total number of pages displayed: 2

Select number of records to display per page:

Sort by

Select All | Add selected items to basket

1 2

Logic for Computer Science and Artificial Intellig... (Hardback)

By: Ricardo Caferra

ISTE Ltd and John Wiley & Sons Inc

Published: 12/07/2011

10% off

In Stock: None

List Price:	£189.95
Our Price: £170.96
Availability: Temporarily Out of Stock

Computational Logic and Proof Theory (Paperback)
5th Kurt Geodel Colloqui[u]m, KGC '97, Vienna, Austria, August 25-29, 1997 : Proceedings

By: Georg Gottlob (Editor), Alexander Leitsch (Editor)...

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 13/08/1997

In Stock: None

List Price:	£72.00

Computational Logic and Proof Theory (Paperback)
Third Kurt Godel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 - Proceedings

By: G. Gottlob (Editor), Alexander Leitsch (Editor), D...

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 13/08/1993

In Stock: None

List Price:	£53.99

The Resolution Calculus (Paperback)

By: Alexander Leitsch

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 28/09/2011

In Stock: None

List Price:	£64.99

Automated Model Building (Hardback)

By: Ricardo Caferra, Alexander Leitsch, Nicolas Peltie...

Springer-Verlag New York Inc.

Published: 13/09/2004

In Stock: None

List Price:	£149.99

Automated Reasoning (Paperback)
First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 Proceedings

By: Rajeev Gore (Editor), Alexander Leitsch (Editor), ...

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 06/06/2001

In Stock: None

List Price:	£108.00

Resolution Methods for the Decision Problem (Paperback)

By: C. Fermuller, Alexander Leitsch, Tanel Tammet

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 29/07/1993

In Stock: None

List Price:	£62.99

Automated Model Building (Paperback)

By: Ricardo Caferra, Alexander Leitsch, Nicolas Peltie...

Springer

Published: 05/12/2010

In Stock: None

List Price:	£175.50

Methods of Cut-Elimination (Paperback)

By: Matthias Baaz, Alexander Leitsch

Springer

Published: 24/02/2013

In Stock: None

List Price:	£104.50

10.

Methods of Cut-Elimination (Hardback)

By: Matthias Baaz, Alexander Leitsch

Springer

Published: 14/01/2011

In Stock: None

List Price:	£109.99

1 2

Select All | Add selected items to basket

SHOPPING BASKET

	Your basket is empty

	Total Items:	0

NEW

Ramadan and Eid al-Fitr

By: SARA KHAN

A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.

Learning

That''s My Story!: Drama for Confidence, Communication and C...

By: ADAM POWER-ANNAND

The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.

Learning

Power of 2

By: DAVID JOSEPH SHARP

Learning

Reading Lessons

By: CAROL ATHERTON

Easter

Greg the Sausage Roll: Egg-cellent Easter Adventure

By: MARK HOYLE

Easter

Dear Easter Bunny

By: MAXINE LEE-MACKIE