English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Zeitschrift
Journal of automated reasoning
Statistics
Options
Show all metadata (technical view)
Journal of automated reasoning
Details
Publications
Journal Title
Journal of automated reasoning
ISSN
0168-7433
Publisher
Kluwer
Publishing Place
Dordrecht
