UTCB |

Tipul înregistrării:	Text tipărit: monografic
Autor:	Metakides, M
Autor alternativ:	Nerode, A.
Traducător:	Florea, Adina
Traducător:	Bărbat, Boldur
Colaborator:	Sinachopoulos, A.
Responsabilitate:	G.Metakides, A.Nerode cu colab. A.Sinachopoulos
Responsabilitate secundară:	trad. Adina Florea, Bărbat Boldur
Editura:	Editura Tehnică
Locul publicării:	Bucureşti
Anul Ediției:	1998
ISBN:	973-31-1198-8
Descriere:	XII, 283p. ; 24cm
Limba:	Română
Subiect:	logica propozițiilor
Subiect:	logica predicatelor
Subiect:	paradigma PROLOG
Subiect:	Cărți românești
Subiect:	Sponsorizare
Subiect:	22P
Subiect:	65
Subiect:	2003
Cota topografică:	UTCB - 16/M 61
Clasificare:	004.43
Clasificare:	16
Clasificare:	16:004.43
Note conţinut (cuprins):	logica propoziţiilor,predicatelor,paradigma prolog,mecanismul de operare,predicate predefinite,sisteme expert

LDR:00855nam 2200253 001 72734
009 ubfixit050.016 Principii de logică şi programare logică
010 $a 973-31-1198-8 $d 4.50
100 $a 20220428u m u0rumy50 ba
101 0 $a rum
109 0 $a d
122 0 $a d
200 0 $a Principii de logică şi programare logică $f G.Metakides, A.Nerode cu colab. A.Sinachopoulos $g trad. Adina Florea, Bărbat Boldur $b Carte tipărită
210 # # $a Bucureşti $L s1773 $c Editura Tehnică $d 1998
215 $a XII, 283p. ; 24cm
327 # # $a logica propoziţiilor,predicatelor,paradigma prolog,mecanismul de operare,predicate predefinite,sisteme expert
345 $b 2003/180
345 $b 2003/182
606 $3 115908 $a logica propozițiilor
606 $3 115909 $a logica predicatelor
606 $3 115910 $a paradigma PROLOG
608 # $3 111074 $a Cărți românești
608 # $3 111172 $a Sponsorizare
608 $3 111173 $a 22P
608 $3 111065 $a 65
608 $3 111174 $a 2003
675 $a 004.43
675 $a 16
675 $a 16:004.43
679 $a 16 $d 0
700 $3 47288 $a Metakides $b M
701 $3 51336 $a Nerode $b A.
702 $3 24252 $4 730 $a Florea $b Adina
702 $3 5512 $4 730 $a Bărbat $b Boldur
702 $3 66679 $4 205 $a Sinachopoulos $b A.
801 0 $a RO $b UTCB $c 20220428 $g unimarc
850 $a UTCB
852 # # $j UTCB - 16/M 61