Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
pealkiri
Using resolution for deciding solvable classes and building finite models
autor
Tammet, Tanel
kirjeldus
Research Report CS 13/90
ilmumisaasta
1990
identifikaator
http://digi.lib.ttu.ee/i/?11848
keel
eng
õigused
http://rightsstatements.org/vocab/InC-EDU/1.0/
asutus
Eesti Teaduste Akadeemia Küberneetika Instituut
Institute of Cybernetics of the Estonian Academy of Sciences
Juurdepääsu piirang: TalTechi arvutivõrgu kasutajale.
pdf
2,63 MB