Unelte utilizator
bibliografie
Diferențe
Aici sunt prezentate diferențele dintre versiunile selectate și versiunea curentă a paginii.
| Both sides previous revision Versiuni anterioare | Urmatoarea versiune Both sides next revision | ||
|
bibliografie [2015/03/30 22:46] Andrei Olaru |
bibliografie [2015/05/04 10:44] Andrei Olaru |
||
|---|---|---|---|
| Linia 13: | Linia 13: | ||
| * **Haskell Wikibook**, https://en.wikibooks.org/wiki/Haskell | * **Haskell Wikibook**, https://en.wikibooks.org/wiki/Haskell | ||
| * **prolog :- tutorial**, J.R.Fisher, disponibil la http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html | * **prolog :- tutorial**, J.R.Fisher, disponibil la http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html | ||
| + | * **Prolog Wikibook**, https://en.wikibooks.org/wiki/Prolog | ||
| + | * **Handbook of Practical Logic and Automated Reasoning**, John Harrison, Cambridge University Press | ||
| + | * **Introduction to Logic**, Michael Genesereth, disponibil liber online la https://www.coursera.org/course/intrologic | ||
| + | |||
bibliografie.txt · Ultima modificare: 2017/05/19 22:29 de către Andrei Olaru
