Differences
This shows you the differences between two versions of the page.
|
pp:bibliografie [2021/04/05 12:01] andrei.olaru |
pp:bibliografie [2026/02/22 21:02] (current) mihnea.muraru |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| * **The Racket Reference**, http://docs.racket-lang.org/reference/index.html | * **The Racket Reference**, http://docs.racket-lang.org/reference/index.html | ||
| - | * este mai ales interesant capitolul 4 | + | * este interesant mai ales capitolul 4 |
| Line 21: | Line 21: | ||
| * **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 | * **Prolog Wikibook**, https://en.wikibooks.org/wiki/Prolog | ||
| * **Handbook of Practical Logic and Automated Reasoning**, John Harrison, Cambridge University Press | * **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 | * **Introduction to Logic**, Michael Genesereth, disponibil liber online la https://www.coursera.org/course/intrologic | ||
| + | */ | ||
