Synopsis
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Logical Frameworks
Image fournie par le vendeur
Logical Frameworks
Edité par
Cambridge University Press, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 849820-n
Acheter neuf
EUR 116,06
Expédition à EUR 2,30
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logical Frameworks (Hardcover)
Edité par
Cambridge University Press, Cambridge, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
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 artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9780521413008
Acheter neuf
EUR 118,44
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logical Frameworks
Edité par
Cambridge University Press, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-0521413001
Acheter neuf
EUR 112,49
Expédition à EUR 6,06
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logical Frameworks
Edité par
Cambridge University Press, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521413008
Acheter neuf
EUR 122,07
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logical Frameworks
Edité par
Cambridge University Press, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur Abebooks132398
Acheter neuf
EUR 125,66
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logical Frameworks
Edité par
Cambridge University Press, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521413008_new
Acheter neuf
EUR 113,33
Expédition à EUR 13,81
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logical Frameworks
Edité par
Cambridge University Press, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 849820-n
Acheter neuf
EUR 113,32
Expédition à EUR 17,30
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logical Frameworks
Edité par
Cambridge Univ Pr, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 416 pages. 9.25x6.25x1.25 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521413001
Acheter neuf
EUR 123,98
Expédition à EUR 14,41
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logical Frameworks
Edité par
Cambridge University Press, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
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. hardcover. . . . . N° de réf. du vendeur V9780521413008
Acheter neuf
EUR 131,94
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logical Frameworks
Edité par
Cambridge University Press, 1991
ISBN 10 : 0521413001
ISBN 13 : 9780521413008
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9780521413008
Acheter neuf
EUR 129,98
Expédition à EUR 21,74
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles