Finite model building : improvements and comparisons
author
statement of authorship
Tanel Tammet
source
Proceedings of the CADE-19 workshop "Model Computation - Principles, Algorithms, Applications" : Miami, FL, USA, 2003
location of publication
[S.l.]
year of publication
pages
p. 81-90
subject term
notes
Bibliogr. p. 90
language
inglise
Tammet, T. Finite model building : improvements and comparisons // Proceedings of the CADE-19 workshop "Model Computation - Principles, Algorithms, Applications" : Miami, FL, USA, 2003. [S.l.], 2003. p. 81-90.