Programare logică

LDR	00196nx j2200085
001	123693
100	$a 20130327arumy0103####ba0
101	$a rum
152	$b UCV $a AACR
250	$7 ba0yba0a $8 rumrum $a Programare logică
675	$a 004.424:510.6
950	$3 123688 $2 UCV $7 ba0yba0a $8 rumrum $a Metode de programare

Lucrări: 13 lucrari in 12 publicatii in 2 limbi

13 records Page 1 of 2

Programare logică, o abordare pragmatică de: Constantinescu, Nicolae, info.; Constantinescu, Nicolae, info.; Kevorchian, Cristian (Text tipărit)

Termination Proofs for Logic Programs de: Plümer, Lutz (Text tipărit)

Logic Programming with Prolog de: Bramer, Max (Text tipărit)

Sisteme de logică programată : Îndrumător de lucrări de laborator : Pentru uzul studenţilor de: Ivăşchescu, V.; Popescu, S.; Pănoiu, C. (Text tipărit)

Elemente de inteligenţă artificială : Aplicaţii în PROLOG de: Bădică, Costin (Text tipărit)

Principii de logică şi programare logică de: Metakides, G.; Nerode, A. (Text tipărit)

Iniţiere în programarea logică : Aplicaţii în Prolog de: Neagu, Mariana; Podoreanu, Aura; Luca, Cristina (Text tipărit)

Logic with Prolog de: Gibbins, Peter (Text tipărit)

Subiecte