Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Computer science, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Informatique, Mathematische Logik, Constraint, Entscheidungsproblem, Lineare Optimierung, Deduktionssystem, Automatisches Beweisverfahren, Logique symbolique et mathematique, Congres, Computeralgebra, Combinatieleer, Logic, symbolic and mathematicalShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Frontiers of combining systems: 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
2002, Springer
in English
3540433813 9783540433811
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created June 14, 2018
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
November 14, 2023 | Edited by MARC Bot | import existing book |
October 28, 2022 | Edited by ImportBot | import existing book |
October 4, 2021 | Edited by ImportBot | import existing book |
December 5, 2020 | Edited by MARC Bot | import existing book |
June 14, 2018 | Edited by ImportBot | import new book |