An edition of Frontiers of combining systems 2 (1999)

Frontiers of Combining Systems 2 (Studies in Logic and Computation)

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Frontiers of Combining Systems 2 (Studies in Logic and Computation) by
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 9, 2024 | History
Edit
An edition of Frontiers of combining systems 2 (1999)

Frontiers of Combining Systems 2 (Studies in Logic and Computation)

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

"Frontiers of Combining Systems 2 includes selected, edited contributions from the Second International Workshop on Frontiers of Combining Systems. This volume addresses both particular instances of the combination and integration problem and the general issue. While covering a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting, there is a clear emphasis on automated tools and logics."--BOOK JACKET.

Publish Date
Publisher
Research Studies Press
Language
English
Pages
407

Check nearby libraries

Buy this book

Subjects
Symbolic and mathematical Logic, Congresses, Computer science

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Frontiers of Combining Systems 2 (Studies in Logic and Computation)
Frontiers of Combining Systems 2 (Studies in Logic and Computation)
October 1999, Research Studies Press
Hardcover in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
QA9.A1 F77 2000, QA9.A1 .F77 1999

The Physical Object

Format
Hardcover
Number of pages
407
Dimensions
9.1 x 6.3 x 0.8 inches
Weight
1.7 pounds

ID Numbers

Open Library
OL8313718M
ISBN 10
0863802524
ISBN 13
9780863802522
LCCN
99051824
OCLC/WorldCat
42649707
Library Thing
8973828
Goodreads
3179405

Source records

Library of Congress MARC record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 9, 2024 Edited by MARC Bot import existing book
December 1, 2020 Edited by MARC Bot import existing book
August 10, 2010 Edited by IdentifierBot added LibraryThing ID
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 29, 2008 Created by an anonymous user Imported from amazon.com record