Formal methods Computer Science

---

Formal methods Posted: 23 May 2020 10:44 PM PDT Which are the applications of formal methods. Is it an interesting /fun research topic? submitted by /u/juandrengifo [link] [comments]

Computer science encyclopedia can be translated to 20 languages Posted: 23 May 2020 06:03 AM PDT Hi, I've finished working on translation mechanism for https://handwiki.org/ (Encyclopedia of Science and Computing). Now all articles can be translated to 20 languages using Google translate (with elements of AI). I decided to stick to the 20 languages, out of 100 but if you need more - ask. How it works: Go to https://handwiki.org/ and use "Select language" (left menu at the top). Select the needed language. Then the entire page should be translated. To come back to English, use the top menu (that disables the native HandWiki menu). You can close this top panel using a small cross (top-right). Note that translation does not work with the LaTeX export, nor inside the editor. submitted by /u/Sergei176 [link] [comments]

You are subscribed to email updates from Computer Science: Theory and Application. To stop receiving these emails, you may unsubscribe now.	Email delivery powered by Google
Google, 1600 Amphitheatre Parkway, Mountain View, CA 94043, United States