H ? « »

Language peer sets for DEDUCTIO:
Russian Federation
Russian Federation/1996
Designed 1996
1990s languages
Fifth generation
Post-Cold War

DEDUCTIO(ID:3451/ded001)

alternate simple view
Country: Russian Federation
Designed 1996
Published: 1996


Vladimir Smirnov - Russian logic language Institute for Logic, Cognitive Science and Development of Personality (ILCSDP) Moscow 1996

References:
  • Smirnov, V. A. (1996). Dokazatel§stvo i ego poisk (1996) Smirnov, V. A. (1996). Dokazatel§stvo i ego poisk : kurs logiki i komp§ëiìuternyæi praktikum. Moskva, "Nauka".
  • (2002) Library of Congress Subject Headings D397
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder