9780521413008 - logical frameworks (19 risultati)

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Huet, Gerard [Editor]; Plotkin, G. [Editor];

Condizione: Nuovo

EUR 117,36

EUR 2,32 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd

Venditore con 5 stelle

Condizione: Nuovo

EUR 113,47

EUR 6,11 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 123,13

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books

Venditore con 4 stelle

Condizione: Usato - Come nuovo

EUR 92,81

EUR 29,25 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

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

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 123,32

EUR 2,32 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: The Book Spot, Sioux Falls, MN, U.S.A.The Book Spot

Venditore con 4 stelle

Condizione: Nuovo

EUR 126,75

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

Hardcover. Condizione: New.

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 115,00

EUR 14,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Edited by Gerard Huet , G. Plotkin

Condizione: Nuovo

EUR 114,99

EUR 17,55 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

Venditore con 5 stelle

Condizione: Nuovo

EUR 131,94

EUR 9,50 spedizione

Spedito da Irlanda a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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. . 19…

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 127,98

EUR 17,55 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press CUP, 1991

Rilegato

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Edited by Gerard Huet , G. Plotkin

Condizione: Nuovo

EUR 165,93

EUR 3,51 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 416.

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

Venditore con 5 stelle

Condizione: Nuovo

EUR 168,80

EUR 9,23 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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. . 19…

Logical Frameworks

Gerard Huet

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Huet, Gerard/ Plotkin, G. (Editor)

Condizione: Nuovo

EUR 153,73

EUR 64,12 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Buch. Condizione: 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 pro…

Logical Frameworks

Lingua: Inglese

Editore: Cambridge Univ Pr, 1991

Rilegato
Print on Demand

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 125,80

EUR 14,63 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

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

Logical Frameworks

Gerard Huet

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato
Print on Demand

Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE

Venditore con 5 stelle

Condizione: Nuovo

EUR 131,90

EUR 22,06 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

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

Logical Frameworks (Hardcover)

Gerard Huet

Lingua: Inglese

Editore: Cambridge University Press, Cambridge, 1991

Rilegato
Print on Demand

Da: CitiRetail, Stevenage, Regno UnitoCitiRetail

Venditore con 5 stelle

Condizione: Nuovo

EUR 130,75

EUR 43,30 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Hardcover. Condizione: 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 arti…

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato
Print on Demand

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 171,61

EUR 7,61 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: 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.

Logical Frameworks

Lingua: Inglese

Editore: Cambridge University Press, 2011

Rilegato
Print on Demand

Da: moluna, Greven, Germaniamoluna

Venditore con 5 stelle

Condizione: Nuovo

EUR 124,05

EUR 48,99 spedizione

Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.Inhaltsverzeichnis1. The logical theory of constructions P. Aczel and D. Carlisle 2. The Boyer-Moore theor…

Logical Frameworks

Huet Gerard Plotkin G.

Lingua: Inglese

Editore: Cambridge University Press, 1991

Rilegato
Print on Demand

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle