Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures Hardcover - 1993
by S. Abramsky (Editor); Dov M. Gabbay (Editor); T. S. Maibaum (Editor)
From the rear cover
We are happy to present the first volumes of the 'Handbook of Logic in Computer Science.' Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming language and artificial intelligence. There is a growing need for an in depth survey of the application of logic in computer science and AI. The 'Handbook of Logic in Computer Science' and its companion, the 'Handbook of Logic in Artificial Intelligence and Programming' have been created in response to this need.
Details
- Title Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
- Author S. Abramsky (Editor); Dov M. Gabbay (Editor); T. S. Maibaum (Editor)
- Binding Hardcover
- Edition First Edition
- Pages 584
- Volumes 1
- Language ENG
- Publisher Clarendon Press, Oxford, United Kingdom
- Date 1993-03-18
- ISBN 9780198537618 / 0198537611
- Weight 2.36 lbs (1.07 kg)
- Dimensions 9.49 x 6.44 x 1.5 in (24.10 x 16.36 x 3.81 cm)
- Library of Congress Catalog Number 92-510
- Dewey Decimal Code 004
More Copies for Sale
Handbook of Logic in Computer Science. Volume 2: Background: Computational Structures
by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, editors
- Used
- Hardcover
- first
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780198537618 / 0198537611
- Quantity Available
- 1
- Seller
-
Cleveland, Ohio, United States
- Item Price
-
A$113.76A$6.97 shipping to USA
Show Details
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
by Abramsky, S. [Editor]; Gabbay, Dov M. [Editor]; Maibaum, T. S. E. [Editor];
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780198537618 / 0198537611
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
A$378.95A$8.44 shipping to USA
Show Details
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
by Thomas S. E. Maibaum
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780198537618 / 0198537611
- Quantity Available
- 614
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$845.56A$15.49 shipping to USA
Show Details
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
by Abramsky, S. [Editor]; Gabbay, Dov M. [Editor]; Maibaum, T. S. E. [Editor];
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780198537618 / 0198537611
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
A$960.63A$15.49 shipping to USA