Research Atlas
Select a language
English (United States)
Deutsch (Deutschland)
Index
Log in via ORCiD
Search form
Menu
Home
People
Organizations
Research
Events
Journal of Automated Reasoning
Journal
Overview
Identity
View All
Overview
publication venue for
Balancing the Load
. 42:389-454.
2009
Identity
International Standard Serial Number (ISSN)
0168-7433
