prindi

Finite model building : improvements and comparisons

autor
Tammet, Tanel
vastutusandmed
Tanel Tammet
allikas
Proceedings of the CADE-19 workshop "Model Computation - Principles, Algorithms, Applications" : Miami, FL, USA, 2003
ilmumiskoht
[S.l.]
ilmumisaasta
2003
leheküljed
p. 81-90
märkused
Bibliogr. p. 90
keel
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.