J.UCS Special Issue on Integration of Deduction Systems
| dc.creator | Hähnle,R. | |
| dc.creator | Menzel,W. | |
| dc.creator | Schmitt,P. | |
| dc.creator | Reif,Wolfgang | |
| dc.date | 1999 | |
| dc.date.accessioned | 2024-02-06T12:49:56Z | |
| dc.date.available | 2024-02-06T12:49:56Z | |
| dc.description | Logic has become a cross-sectional formal specifcation language for applications in Artficial Intelligence, Computing, and Mathematics. Deduction is the corresponding derivation mechanism used to execute and analyse formal models, to predict properties, to generate plans or to detect errors. For about 35 years, researchers have developed different kinds of computational logics, calculi and computer programs for interactive and fully automated deduction. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-005-03 | |
| dc.identifier | https://lib.jucs.org/article/27537/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/7527 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 5(3): 50-51 | |
| dc.title | J.UCS Special Issue on Integration of Deduction Systems | |
| dc.type | Editorial |