Items related to Logical Frameworks

Logical Frameworks ISBN 13: 9780521413008

Logical Frameworks - Hardcover

 
9780521413008: Logical Frameworks
Hardcover
ISBN 10: 0521413001 ISBN 13: 9780521413008
Publisher: Cambridge University Press, 1991
View all copies of this ISBN edition:
 
 
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.

"synopsis" may belong to another edition of this title.

Book Description:
In Logical Frameworks, first published in 1991, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. The contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

Stock Image

Published by Cambridge University Press (1991)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: 1
Seller:
BennettBooksLtd
(North Las Vegas, NV, U.S.A.)
Rating
Seller Rating: 4-star rating, Learn more about seller ratings

Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.68. Seller Inventory # Q-0521413001

More information about this seller | Contact seller

Buy New
£ 86.94
Convert currency

Add to Basket

Shipping: £ 4.29
Within U.S.A.
Destination, rates & speeds
Stock Image

Gerard Huet
Published by Cambridge University Press (1991)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: > 20
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521413008_lsuk

More information about this seller | Contact seller

Buy New
£ 83.97
Convert currency

Add to Basket

Shipping: £ 9.98
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

Published by Cambridge University Press (1991)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: > 20
Seller:
Lucky's Textbooks
(Dallas, TX, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: New. Seller Inventory # ABLIING23Feb2416190002047

More information about this seller | Contact seller

Buy New
£ 93.96
Convert currency

Add to Basket

Shipping: £ 3.19
Within U.S.A.
Destination, rates & speeds
Stock Image

Huet, Gerard
Published by Cambridge University Press (1991)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: > 20
Print on Demand
Seller:
Brook Bookstore On Demand
(Napoli, NA, Italy)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: new. Questo è un articolo print on demand. Seller Inventory # 31bd7ac592daaf3874da8b956eecd2b7

More information about this seller | Contact seller

Buy New
£ 93.43
Convert currency

Add to Basket

Shipping: £ 9.57
From Italy to U.S.A.
Destination, rates & speeds
Stock Image

Gerard Huet
Published by Cambridge University Press (1991)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: 4
Print on Demand
Seller:
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521413008

More information about this seller | Contact seller

Buy New
£ 99.55
Convert currency

Add to Basket

Shipping: £ 8.95
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

Huet, Gerard/ Plotkin, G. (Editor)
Published by Cambridge Univ Pr (1991)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Hardcover. Condition: Brand New. 416 pages. 9.25x6.25x1.25 inches. In Stock. Seller Inventory # __0521413001

More information about this seller | Contact seller

Buy New
£ 99.95
Convert currency

Add to Basket

Shipping: £ 10
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

Published by Cambridge University Press (1991)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: 1
Seller:
The Book Spot
(Sioux Falls, SD, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Hardcover. Condition: New. Seller Inventory # Abebooks132398

More information about this seller | Contact seller

Buy New
£ 115.15
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

Published by Cambridge University Press (1991)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: > 20
Seller:
California Books
(Miami, FL, U.S.A.)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Condition: New. Seller Inventory # I-9780521413008

More information about this seller | Contact seller

Buy New
£ 115.97
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Seller Image

Published by Cambridge University Press (2011)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: > 20
Print on Demand
Seller:
moluna
(Greven, Germany)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Gebunden. Condition: 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.KlappentextThis 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Seller Inventory # 446934626

More information about this seller | Contact seller

Buy New
£ 106.69
Convert currency

Add to Basket

Shipping: £ 42.13
From Germany to U.S.A.
Destination, rates & speeds
Seller Image

Gerard Huet
Published by Cambridge University Press (1991)
ISBN 10: 0521413001 ISBN 13: 9780521413008
New Hardcover Quantity: 1
Seller:
AHA-BUCH GmbH
(Einbeck, Germany)
Rating
Seller Rating: 5-star rating, Learn more about seller ratings

Book Description Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Seller Inventory # 9780521413008

More information about this seller | Contact seller

Buy New
£ 148.87
Convert currency

Add to Basket

Shipping: £ 28.37
From Germany to U.S.A.
Destination, rates & speeds