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
Limbaje de programare
Logică
Calculatoare
Ştiinţa şi tehnologia calculatoarelor. Procesarea datelor
Bibliografie licență FSEFI - Informatică
Bibliografie licență FECC - Calculatoare
Limbaj Haskell
Teză de doctorat
Informatică
Programare matematică
Prolog (Limbaje de programare)
Turbo Prolog
Publicații digitizate
Limbaje specifice de programare
Domeniul de doctorat: Informatică
Matematică
Bibliografie licență FSEFI - Matematică
Programare funcțională
Logica propoziţiilor. Calculul propoziţiilor
Programare logică
Limbaj Prolog
Inteligenţă artificială
Teze de doctorat digitizate (loading)
Programarea calculatoarelor. Programe de calculatoare