Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
9783540727323: Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.

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

Top Search Results from the AbeBooks Marketplace

1.

Published by Springer (2007)
ISBN 10: 3540727329 ISBN 13: 9783540727323
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2007. Paperback. Book Condition: New. book. Bookseller Inventory # 3540727329

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.64
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

ISBN 10: 3540727329 ISBN 13: 9783540727323
New Quantity Available: 2
Seller
Speedy Hen LLC
(Sunrise, FL, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Bookseller Inventory # ST3540727329. Bookseller Inventory # ST3540727329

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 101.63
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Sergei Artemov
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2007)
ISBN 10: 3540727329 ISBN 13: 9783540727323
New Quantity Available: 2
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2007. PAP. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # GB-9783540727323

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 92.66
Convert Currency

Add to Basket

Shipping: US$ 11.64
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Artemov, Sergei N. (EDT)/ Nerode, Anil (EDT)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2007-05-25, Berlin (2007)
ISBN 10: 3540727329 ISBN 13: 9783540727323
New paperback Quantity Available: > 20
Seller
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2007-05-25, Berlin, 2007. paperback. Book Condition: New. Bookseller Inventory # 9783540727323

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 99.58
Convert Currency

Add to Basket

Shipping: US$ 5.82
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Sergei Artemov (Editor), Anil Nerode (Editor)
Published by Springer (2007)
ISBN 10: 3540727329 ISBN 13: 9783540727323
New Paperback Quantity Available: 1
Print on Demand
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2007. Paperback. Book Condition: New. 2007. This item is printed on demand. Bookseller Inventory # DADAX3540727329

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 103.20
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

6.

ISBN 10: 3540727329 ISBN 13: 9783540727323
New Quantity Available: 2
Seller
Speedy Hen
(London, United Kingdom)
Rating
[?]

Book Description Book Condition: New. Bookseller Inventory # ST3540727329. Bookseller Inventory # ST3540727329

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 89.13
Convert Currency

Add to Basket

Shipping: US$ 24.57
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
ISBN 10: 3540727329 ISBN 13: 9783540727323
New Softcover Quantity Available: 2
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007. Book Condition: New. 2007. 2007th Edition. Paperback. Constitutes refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. This book addresses various aspects of logic in computer science. It includes topics such as constructive mathematics and type theory, and logical foundations of programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 516 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 31. Weight in Grams: 778. . . . . . . Bookseller Inventory # V9783540727323

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 118.20
Convert Currency

Add to Basket

Shipping: FREE
From Ireland to U.S.A.
Destination, Rates & Speeds

8.

Sergei Artemov, Anil Nerode
ISBN 10: 3540727329 ISBN 13: 9783540727323
New Paperback Quantity Available: 2
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Paperback. Book Condition: New. Not Signed; This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science. book. Bookseller Inventory # ria9783540727323_rkm

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 113.70
Convert Currency

Add to Basket

Shipping: US$ 5.00
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN 10: 3540727329 ISBN 13: 9783540727323
New Softcover Quantity Available: 2
Seller
Kennys Bookstore
(Olney, MD, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. KG. Book Condition: New. 2007. 2007th Edition. Paperback. Constitutes refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. This book addresses various aspects of logic in computer science. It includes topics such as constructive mathematics and type theory, and logical foundations of programming. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 516 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 31. Weight in Grams: 778. . . . . . Books ship from the US and Ireland. Bookseller Inventory # V9783540727323

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 119.53
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

10.

Sergei Artemov
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2007)
ISBN 10: 3540727329 ISBN 13: 9783540727323
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2007. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783540727323

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 115.48
Convert Currency

Add to Basket

Shipping: US$ 11.64
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book