You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Verifying an Applicative ATP Using Multiset Relations
|
---|---|
Chapter number | 47 |
Book title |
Computer Aided Systems Theory — EUROCAST 2001
|
Published by |
Springer, Berlin, Heidelberg, February 2001
|
DOI | 10.1007/3-540-45654-6_47 |
Book ISBNs |
978-3-54-042959-3, 978-3-54-045654-4
|
Authors |
Francisco J. Martín-Mateos, Jose A. Alonso, María J. Hidalgo, José L. Ruiz-Reina, Martín-Mateos, Francisco J., Alonso, Jose A., Hidalgo, María J., Ruiz-Reina, José L. |