On logical method for counting Dedekind numbers

Tombak, M.; Isotamm, A.; Tamme, T. (2001). On logical method for counting Dedekind numbers. In: Proceedings of the 13th International Symposium on Fundamentals of Computation Theory (424−427).. London: Springer. (Lecture Notes in Computer Science; 2138).
kogumikuartikkel/peatükk raamatus/kogumikus
Tombak, M.; Isotamm, A.; Tamme, T.
  • Inglise
On logical method for counting Dedekind numbers
Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
London
Springer
3540424873
Lecture Notes in Computer Science
2138
2001
424427
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

Lisainfo