Programare logică
|
LDR | 00082nx j2200049 | |
---|---|---|
001 | 102006 | |
250 | $a Programare logică | |
901 | $a a $b a |
Lucrări:
4 lucrari in 4 publicatii in 2 limbi
4 records Page 1 of 1
- 1
Master-slave systems of semantic schemas : Ph. D. Thesis
de:
Zamfir, Cristina; University of Piteşti. Faculty of Mathematics - Informatics
(Text tipărit)
Introducere în programarea logică
de:
State, Luminiţa
(Text tipărit)
Programare logică și funcțională : Elemente introductive
de:
Bocu, Dorin
(Multimedia)
Principii de logică şi programare logică
de:
Metakides, G.; Nerode, Anil
(Text tipărit)
Subiecte
Matematică
Calculatoare
Limbaje de programare
Informatică
Inteligenţă artificială
Teză de doctorat
Programare matematică
Logică
Limbaje specifice de programare
Programarea calculatoarelor. Programe de calculatoare
Programare logică
Ştiinţa şi tehnologia calculatoarelor. Procesarea datelor
Prolog (Limbaje de programare)
Logica propoziţiilor. Calculul propoziţiilor
Publicații digitizate
Limbaj Prolog
Turbo Prolog
Programare funcțională
Limbaj Haskell
Bibliografie licență FECC - Calculatoare
Teze de doctorat digitizate (loading)
Domeniul de doctorat: Informatică
Bibliografie licență FSEFI - Matematică
Bibliografie licență FSEFI - Informatică