Logical frameworks (33 résultats)

Titre: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (33)

En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 115,64

    EUR 2,29 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 111,80

    EUR 6,02 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible(s)

    hardcover. Etat : New. In shrink wrap. Looks like an interesting title.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 121,32

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 92,81

    EUR 29,25 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : The Book Spot, Sioux Falls, MN, Etats-UnisThe Book Spot

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 124,89

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : New.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 123,15

    EUR 2,29 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 119,97

    EUR 14,02 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 119,95

    EUR 17,55 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 131,94

    EUR 9,50 expédition 
    Expédition depuis Irlande vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. h…

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 126,86

    EUR 17,55 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par North Holland, 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 154,46

    EUR 2,29 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par North Holland, 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 148,69

    EUR 14,02 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In.

  • Langue : anglais

    Edité par North Holland, 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 148,68

    EUR 17,55 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par Cambridge University Press CUP, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 163,50

    EUR 3,46 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 4 disponible(s)

    Etat : New. pp. 416.

  • Langue : anglais

    Edité par North Holland, 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 165,16

    EUR 2,29 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 166,32

    EUR 9,09 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. h…

  • Langue : anglais

    Edité par North Holland, 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 164,65

    EUR 17,55 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par Elsevier Science and Technology, US, 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 191,72

     Frais de port gratuits 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New. This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerne…

  • Langue : anglais

    Edité par Elsevier Science, 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 162,33

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Gebunden. Etat : New. This English translation of the author s original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and se.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 153,73

    EUR 64,12 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving,…

  • Langue : anglais

    Edité par North Holland, 2011

    044454691X / 9780444546913

    • Couverture souple

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 224,20

    EUR 14,63 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Paperback. Etat : Brand New. 480 pages. 9.00x6.00x1.09 inches. In Stock.

  • Langue : anglais

    Edité par Elsevier Science and Technology, US, 1996

    0444823069 / 9780444823069

    • Couverture rigide

    Vendeur : Rarewaves.com UK, London, Royaume-UniRarewaves.com UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 181,50

    EUR 76,06 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New. This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerne…

  • Edité par North Holland, Amsterdam, 1996

    • Couverture rigide

    Vendeur : Riverbooks, Suttons Bay, MI, Etats-UnisRiverbooks

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 107,05

    EUR 5,63 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible(s)

    Ajouter au panier

    Hardcover. Etat : As New. No Jacket. Studies in Logic and the Foundations of Mathematics, Volume 135. Covers clean and bright, hardly any shelf wear, virtually as new. No dust jacket (as issued).

  • Langue : anglais

    Edité par CreateSpace, 2008

    1440474923 / 9781440474927

    • Couverture souple
    • impression à la demande

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 24,95

    EUR 17,55 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Paperback. Etat : Brand New. 484 pages. 10.00x7.00x1.20 inches. In Stock. This item is printed on demand.

  • Langue : anglais

    Edité par Cambridge Univ Pr, 1991

    0521413001 / 9780521413008

    • Couverture rigide
    • impression à la demande

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 125,80

    EUR 14,63 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : Brand New. 416 pages. 9.25x6.25x1.25 inches. In Stock. This item is printed on demand.

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide
    • impression à la demande

    Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-UniTHE SAINT BOOKSTORE

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 131,90

    EUR 22,06 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

  • Langue : anglais

    Edité par North Holland, 1996

    0444823069 / 9780444823069

    • Couverture rigide
    • impression à la demande

    Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 151,20

    EUR 5,87 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    HRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Langue : anglais

    Edité par Elsevier BV, 1996

    0444823069 / 9780444823069

    • Couverture rigide
    • impression à la demande

    Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 156,83

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Langue : anglais

    Edité par Cambridge University Press, Cambridge, 1991

    0521413001 / 9780521413008

    • Couverture rigide
    • impression à la demande

    Vendeur : CitiRetail, Stevenage, Royaume-UniCitiRetail

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 130,75

    EUR 43,30 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Hardcover. Etat : new. Hardcover. This volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificia…

  • Langue : anglais

    Edité par Cambridge University Press, 1991

    0521413001 / 9780521413008

    • Couverture rigide
    • impression à la demande

    Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 169,09

    EUR 7,61 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 4 disponible(s)

    Etat : New. Print on Demand pp. 416 9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam.