Logical Environments

ISBN 13: 9780521433129

Logical Environments

0 avg rating
( 0 ratings by Goodreads )
 
9780521433129: Logical Environments
View all copies of this ISBN edition:
 
 

The contributors to Logical Environments cover four main themes: 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. This book is a successor to Logical Frameworks(CUP, 1991) and will be of interest to any mathematician or computer scientist whose research interests lie in the development of the interplay between logic and software engineering.

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

Book Description:

In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and as before 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.

Review:

"The research of logical frameworks probably has a long future ahead, and the reviewed volume provides truthful information about the first steps into this wide field." Journal of Symbolic Logic

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

Top Search Results from the AbeBooks Marketplace

1.

ISBN 10: 0521433126 ISBN 13: 9780521433129
New Quantity Available: 1
Seller:
East West Academic Books LLC
(Burlington, NC, U.S.A.)
Rating
[?]

Book Description Condition: New. Seller Inventory # UK17095

More information about this seller | Contact this seller

Buy New
US$ 84.48
Convert currency

Add to Basket

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

2.

ISBN 10: 0521433126 ISBN 13: 9780521433129
New Quantity Available: 1
Seller:
East West Academic Books LLC
(Burlington, NC, U.S.A.)
Rating
[?]

Book Description Condition: New. New, Fast Delivery , 100 % money back if any problem with product and services. Seller Inventory # ABECA20806

More information about this seller | Contact this seller

Buy New
US$ 94.54
Convert currency

Add to Basket

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

3.

ISBN 10: 0521433126 ISBN 13: 9780521433129
New Quantity Available: 1
Seller:
BennettBooksLtd
(San Diego, CA, U.S.A.)
Rating
[?]

Book Description Condition: New. New. Seller Inventory # STR-0521433126

More information about this seller | Contact this seller

Buy New
US$ 138.73
Convert currency

Add to Basket

Shipping: US$ 4.95
Within U.S.A.
Destination, rates & speeds