Yet Another Bookmarks Service
Viewing stevetao's Bookmarks
Keyboarding Lessons
[http://drgunn.net/ATA/KB/KB-Lessons.html] -
-
public:
stevetao
Touch Typing Online Lessons
[https://www.typingstudy.com/list_of_free_touch_typing_software_and_online_resources] -
-
public:
stevetao
บทเรียนการพิมพ์สัมผัสออนไลน์
[https://www.typingstudy.com/th-thai_kedmanee-3/lesson/1/part/2] -
-
public:
stevetao
พิมพ์ดีดอังกฤษ2200-1007
[https://sites.google.com/site/phimphdidxangkvs22001007/home] -
-
public:
stevetao
Open Textbook Initiative | American Inst. of Mathematics
[https://aimath.org/textbooks/] -
-
public:
stevetao
python - How can the Euclidean distance be calculated with NumPy? - Stack Overflow
[https://stackoverflow.com/questions/1401712/how-can-the-euclidean-distance-be-calculated-with-numpy] -
-
public:
stevetao
Mathematical Logic - Free Books at EBD
[https://www.e-booksdirectory.com/listing.php?category=33] -
-
public:
stevetao
Hitchhiker's guide to the Python imports | There is no magic here
[https://alex.dzyoba.com/blog/python-import/] -
-
public:
stevetao
Get back "Open command window here" context menu option in Windows 10 Creators Update » Winhelponline
[https://www.winhelponline.com/blog/cmd-here-windows-10-context-menu-add/] -
-
public:
stevetao
Missing "Open Command Prompt Here" after upgrade to windows 10 - Microsoft Community
[https://answers.microsoft.com/en-us/windows/forum/all/missing-open-command-prompt-here-after-upgrade-to/b1b2f3e9-9078-48ba-8a01-99f67eed8164?auth=1] -
-
public:
stevetao
Square root of 2 - Wikipedia
[https://en.wikipedia.org/wiki/Square_root_of_2#Constructive_proof] -
-
public:
stevetao
number theory - Question on a constructive proof of irrationality of $\sqrt 2$ - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/1589603/question-on-a-constructive-proof-of-irrationality-of-sqrt-2] -
-
public:
stevetao
Exercises for First-Order Logic - Intro to Logic - OpenStax CNX
[https://cnx.org/contents/OD1Lhy17@20.20:Rq860IY2@28/Exercises-for-First-Order-Logic] -
-
public:
stevetao
Other Logic Textbooks · OpenLogicProject/OpenLogic Wiki · GitHub
[https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks] -
-
public:
stevetao
A Concise Introduction to Logic - Open SUNY Textbooks
[https://textbooks.opensuny.org/concise-introduction-to-logic/] -
-
public:
stevetao
Free Online Logic Textbooks
[https://www.scivillage.com/thread-2416.html] -
-
public:
stevetao
Logic Primer Files — Teller Logic Primer
[https://tellerprimer.ucdavis.edu/pdf/] -
-
public:
stevetao
the forall x homepage
[https://www.fecundity.com/logic/] -
-
public:
stevetao
Open Logic Project | Open Source, Customizable, Advanced Logic Text
[http://openlogicproject.org/] -
-
public:
stevetao
Section 0.1: Computing in a Web Page: Basics
[http://www.math.mtu.edu/mathlab/COURSES/holt/dnt/intro1.html] -
-
public:
stevetao
Cse371, Math371 LOGIC
[https://www3.cs.stonybrook.edu/~cse371/] -
-
public:
stevetao
Automated Theorem Proving, Prolegomena on Propositional Logic
[https://pqnelson.github.io/2015/02/07/prolegomena-prop-logic.html] -
-
public:
stevetao
logic - Why is this set {CqCpq, CCpCqrCCpqCpr, CCNpNqCqp} the most common set of axioms for propositional calculus? - Philosophy Stack Exchange
[https://philosophy.stackexchange.com/questions/1365/why-is-this-set-cqcpq-ccpcqrccpqcpr-ccnpnqcqp-the-most-common-set-of-axioms] -
-
public:
stevetao
Logic, Explainability and the Future of Understanding—Stephen Wolfram Blog
[https://blog.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/] -
-
public:
stevetao
New Elegant Axiomatizations of Some Logics
[http://fitelson.org/ar.html] -
-
public:
stevetao
lo.logic - What is the Complete Set of Shortest Axioms of Classical Conditional-Negation Propositional Calculus? - MathOverflow
[https://mathoverflow.net/questions/182338/what-is-the-complete-set-of-shortest-axioms-of-classical-conditional-negation-pr] -
-
public:
stevetao
Web Pages Associated with Papers of William McCune
[https://www.cs.unm.edu/~mccune/papers/] -
-
public:
stevetao
meredith - Metamath Proof Explorer
[http://us.metamath.org/mpegif/meredith.html] -
-
public:
stevetao
Jacek Gondzio's home page
[https://www.maths.ed.ac.uk/~gondzio/] -
-
public:
stevetao
The (surprising) 9 most common challenges that Product Owners face, and affect their Scrum Teams – Scrum Master Toolbox Podcast
[https://scrum-master-toolbox.org/2018/11/blog/the-surprising-9-most-common-challenges-that-product-owners-face-and-affect-their-scrum-teams/?utm_source=%5BE4818_01%5D&utm_medium=email] -
-
public:
stevetao
OTexts
[https://otexts.org/sfml] -
-
public:
stevetao
Artificial Intelligence through Prolog by Neil C. Rowe
[http://faculty.nps.edu/ncrowe/book/book.html] -
-
public:
stevetao
Boosting
[https://mitpress.mit.edu/sites/default/files/titles/content/boosting_foundations_algorithms/titlepage.html] -
-
public:
stevetao
Gaussian Processes for Machine Learning: Contents
[http://www.gaussianprocess.org/gpml/chapters/] -
-
public:
stevetao
The Future of Machine Intelligence [Book]
[https://www.oreilly.com/library/view/the-future-of/9781492042334/?intcmp=il-data-free-lp-lgen_free_reports_page] -
-
public:
stevetao
Machine Learning for Designers [Book]
[https://www.oreilly.com/library/view/machine-learning-for/9781491971444/] -
-
public:
stevetao
Applied Machine Learning in Python with scikit-learn — scikit-learn tutorial v0.7+ documentation
[http://gael-varoquaux.info/scikit-learn-tutorial/] -
-
public:
stevetao
10 best books on artificial intelligence
[https://bigthink.com/Charles-Koch-Foundation/forced-examination-how-the-free-speech-of-others-benefits-us-all] -
-
public:
stevetao
LIONbook - intelligent-optimization.org for prescriptive analytics
[https://intelligent-optimization.org/LIONbook/] -
-
public:
stevetao
Reinforcement Learning | IntechOpen
[https://www.intechopen.com/books/reinforcement_learning] -
-
public:
stevetao
Artificial Intelligence: Foundations of Computational Agents, 2nd Edition
[https://artint.info/2e/html/ArtInt2e.html] -
-
public:
stevetao
Artificial Intelligence - Agent Behaviour - Download link
[https://www.e-booksdirectory.com/details.php?ebook=4446] -
-
public:
stevetao
Computers and Thought
[http://www.cs.bham.ac.uk/research/projects/poplog/computers-and-thought/] -
-
public:
stevetao
Ambient Intelligence | IntechOpen
[https://www.intechopen.com/books/ambient-intelligence] -
-
public:
stevetao
Machine Learning, Neural and Statistical Classification
[http://www1.maths.leeds.ac.uk/~charles/statlog/] -
-
public:
stevetao
Affective Computing | IntechOpen
[https://www.intechopen.com/books/affective_computing] -
-
public:
stevetao
Planning Algorithms / Motion Planning
[http://planning.cs.uiuc.edu/] -
-
public:
stevetao
Bioinspired Computation in Combinatorial Optimization
[http://www.bioinspiredcomputation.com/] -
-
public:
stevetao
Nils J. Nilsson Home Page
[http://ai.stanford.edu/~nilsson/] -
-
public:
stevetao
Common Lisp: A Gentle Introduction to Symbolic Computation
[http://www.cs.cmu.edu/~dst/LispBook/] -
-
public:
stevetao
Viewing 4451 - 4500, 50 links out of 4732 links, page: 90