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
leitav
https://www.researchgate.net/publication/244104344_Finite_model_building_improvements_and_comparisons
märksõna
mudelid
algoritmid
loogika
automaattõestamine
märkused
Bibliogr. p. 90
keel
inglise