Order Total (1 Item Items):
Shipping Destination:
Pollack Robert Callaghan Paul Mckinna (17 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (17)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (13)
- As New, Fine or Near Fine (3)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (17)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (13)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
Types for Proofs and Programs : International Workshop, Types 2000, Durham, Uk, December 8-12, 2000 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 49.12
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540432876 ISBN 13: 9783540432876
Language: English
£ 47.69
Convert currency£ 12.11 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains a selection of papers presented at the rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 researchers. The workshop follows a series of meetings organised in 1993, 1994, 1995, 1996, 1998, and 1999 under the auspices of the Esprit BRA6435 and the - prit Working Group 21900 for the previous TYPES projects. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. 806, 1993), by Peter Dybjer, Bengt Nordstr om, and Jan Smith (Vol. 996, 1994), by Stefano Berardi and Mario Coppo (Vol. 1158, 1995), by Christine Paulin-Mohring and Eduardo Gimenez (Vol. 1512, 1996), by Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus (Vol. 1657, 1998), and by Thierry Coquand, Peter Dybjer, Bengt Nordstr om, and Jan Smith (Vol. 1956, 1999). The Esprit BRA6453 was itself a continuation of the former Esprit - tion 3245, Logical Frameworks: Design, Implementation, and Experiments. The articles from the annual workshops under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical En- ronments, both published by Cambridge University Press. Acknowledgements We are very grateful to members of Durham s Computer Assisted Reasoning Group, especially Robert Kießling, for helping to organise the workshop. Robert s contribution was key to the success of the meeting.
-
£ 46.26
Convert currency£ 14.74 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 41.78
Convert currency£ 22.11 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
Types for Proofs and Programs
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540432876 ISBN 13: 9783540432876
Language: English
£ 43.13
Convert currency£ 21.63 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketKartoniert / Broschiert. Condition: New.
-
£ 65.34
Convert currency£ 6.64 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 260.
-
£ 39.11
Convert currency£ 55.32 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
£ 45.24
Convert currency£ 55.32 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Paperback. Condition: Like New. Like New. book.
-
Types for Proofs and Programs : International Workshop, Types 2000, Durham, Uk, December 8-12, 2000 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 103.99
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 125.58
Convert currency£ 14.74 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: New. Print on Demand pp. 260 Illus.
-
Types for Proofs and Programs
Published by Springer Berlin Heidelberg Feb 2002, 2002
ISBN 10: 3540432876 ISBN 13: 9783540432876
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 66.77
Convert currency£ 9.52 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a selection of papers presented at the rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 researchers. The workshop follows a series of meetings organised in 1993, 1994, 1995, 1996, 1998, and 1999 under the auspices of the Esprit BRA6435 and the - prit Working Group 21900 for the previous TYPES projects. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. 806, 1993), by Peter Dybjer, Bengt Nordstr om, and Jan Smith (Vol. 996, 1994), by Stefano Berardi and Mario Coppo (Vol. 1158, 1995), by Christine Paulin-Mohring and Eduardo Gimenez (Vol. 1512, 1996), by Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus (Vol. 1657, 1998), and by Thierry Coquand, Peter Dybjer, Bengt Nordstr om, and Jan Smith (Vol. 1956, 1999). The Esprit BRA6453 was itself a continuation of the former Esprit - tion 3245, Logical Frameworks: Design, Implementation, and Experiments. The articles from the annual workshops under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical En- ronments, both published by Cambridge University Press. Acknowledgements We are very grateful to members of Durham s Computer Assisted Reasoning Group, especially Robert Kießling, for helping to organise the workshop. Robert s contribution was key to the success of the meeting. 256 pp. Englisch.
-
£ 71.30
Convert currency£ 6.88 shipping from Germany to United KingdomQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 260.
-
Types for Proofs and Programs
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2002, 2002
ISBN 10: 3540432876 ISBN 13: 9783540432876
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 47.69
Convert currency£ 30.30 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book contains a selection of papers presented at the rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th ¿ 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 researchers. The workshop follows a series of meetings organised in 1993, 1994, 1995, 1996, 1998, and 1999 under the auspices of the Esprit BRA6435 and the - prit Working Group 21900 for the previous TYPES projects. Those proceedings were also published in the LNCS series, edited by Henk Barendregt and Tobias Nipkow (Vol. 806, 1993), by Peter Dybjer, Bengt Nordstr¿om, and Jan Smith (Vol. 996, 1994), by Stefano Berardi and Mario Coppo (Vol. 1158, 1995), by Christine Paulin-Mohring and Eduardo Gimenez (Vol. 1512, 1996), by Thorsten Altenkirch, Wolfgang Naraschewski, and Bernhard Reus (Vol. 1657, 1998), and by Thierry Coquand, Peter Dybjer, Bengt Nordstr¿om, and Jan Smith (Vol. 1956, 1999). The Esprit BRA6453 was itself a continuation of the former Esprit - tion 3245, Logical Frameworks: Design, Implementation, and Experiments. The articles from the annual workshops under that Action were edited by Gerard Huet and Gordon Plotkin in the books Logical Frameworks and Logical En- ronments, both published by Cambridge University Press. Acknowledgements We are very grateful to members of Durham¿s Computer Assisted Reasoning Group, especially Robert Kießling, for helping to organise the workshop. Robert¿s contribution was key to the success of the meeting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.
