Year: 2007
Type: conference-paper
Source: Springer eBooks
Authors: Clark Barrett, Cesare Tinelli
Institutions: New York University, University of Iowa
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4253178675