Principii de logică şi programare logică
| Autor | METAKIDES, GEORGE chat |
| Editura | Tehnică chat |
| Loc publicare | Bucureşti |
| An | 1998 |
| Subiect | Prolog (informatică) |
| Sistem expert de gestiune chat | |
| Matematică computaţională chat | |
| Matematică numerică chat | |
| Cibernetică matematică chat | |
| Informatică (matematică); vezi Cibernetică matematică chat | |
| ISBN | 9733111988 |
| Note | Index |
| Bibliogr. p.265-270 |
| ISBN | |
| Număr ISBN | 9733111988 |
| Alt sistem de control al numerelor | |
| Cotă | 51 |
| C.III.3547 | |
| Limba resursei | |
| Limba textului | rum |
| Titlu / Menţiuni de responsabilitate | |
| Titlu | Principii de logică şi programare logică |
| Publicare, distribuţie | |
| Loc publicare | Bucureşti |
| Editura | Tehnică |
| Data publicării | 1998 |
| Descriere fizică | |
| Desemnarea specifica a mat. | XII,284p. |
| Titlu | |
| Titlu | Principii de logică şi programare logică |
| Notă generală | |
| Textul notei | Index |
| Bibliogr. p.265-270 | |
| Notă de rezumat/abstract | |
| Abstract/Sumar | Logica propoziţiilor; Logica predicatelor; Programarea logică: paradigma PROLOG |
| Vedetă de subiect ca subiect | |
| Subiect | Prolog (informatică) |
| Sistem expert de gestiune | |
| [nedefinit] | 233-239 |
| Subiect | Matematică computaţională |
| Matematică numerică | |
| Cibernetică matematică | |
| Informatică (matematică); vezi Cibernetică matematică | |
| Număr (indice) CZU | |
| Număr (indice) CZU | 519.682 |
| Alte clasificări | |
| Alte clasificări - Numărul clasei | 51 |
| Nume de persoană / resp. intelectuală primară | |
| Autor principal | METAKIDES, GEORGE |
| Nume de persoană / resp. intelectuală secundară | |
| Autor secundar | Nerode Anil |
| Cod de legătură | coautor |
| Autor secundar | Nerode Anil |
| Cod de legătură | traducere |
| Autor secundar | Boldur Bărbat |
| Cod de legătură | traducere |
| Autor secundar | Florea Adina |
| Cod de legătură | colaborator |
| Autor secundar | Sinachopoulos A. |
| Titlu procesat (cu articole nehot. postfixate) | |
| Titlu | 37363 |
51; C.III.3547
METAKIDES, GEORGE
Principii de logică şi programare logică.- Bucureşti : Tehnică , 1998.
XII,284p..
Index
Bibliogr. p.265-270
Logica propoziţiilor; Logica predicatelor; Programarea logică: paradigma PROLOG.
ISBN 9733111988
I Nerode Anil
II Nerode Anil(coautor)
III Boldur Bărbat(traducere)
IV Florea Adina(traducere)
V Sinachopoulos A.(colaborator)
1. Prolog (informatică)
2. Sistem expert de gestiune
3. Matematică computaţională
4. Matematică numerică
5. Cibernetică matematică
6. Informatică (matematică); vezi Cibernetică matematică
519.682
010
__
$a9733111988
035 __ $a 51
035 __ $a C.III.3547
101 __ $arum
200 __ $aPrincipii de logică şi programare logică
210 __ $aBucureşti $cTehnică $d1998
215 __ $aXII,284p.
299 __ $aPrincipii de logică şi programare logică
300 __ $aIndex
300 __ $aBibliogr. p.265-270
330 __ $aLogica propoziţiilor; Logica predicatelor; Programarea logică: paradigma PROLOG
606 __ $aProlog (informatică)
606 __ $aSistem expert de gestiune $b233-239
606 __ $aMatematică computaţională
606 __ $aMatematică numerică
606 __ $aCibernetică matematică
606 __ $aInformatică (matematică); vezi Cibernetică matematică
675 __ $a519.682
686 __ $a51
700 __ $aMETAKIDES, GEORGE
702 __ $aNerode Anil
702 __ $4coautor $aNerode Anil
702 __ $4traducere $aBoldur Bărbat
702 __ $4traducere $aFlorea Adina
702 __ $4colaborator $aSinachopoulos A.
920 __ $a37363
035 __ $a 51
035 __ $a C.III.3547
101 __ $arum
200 __ $aPrincipii de logică şi programare logică
210 __ $aBucureşti $cTehnică $d1998
215 __ $aXII,284p.
299 __ $aPrincipii de logică şi programare logică
300 __ $aIndex
300 __ $aBibliogr. p.265-270
330 __ $aLogica propoziţiilor; Logica predicatelor; Programarea logică: paradigma PROLOG
606 __ $aProlog (informatică)
606 __ $aSistem expert de gestiune $b233-239
606 __ $aMatematică computaţională
606 __ $aMatematică numerică
606 __ $aCibernetică matematică
606 __ $aInformatică (matematică); vezi Cibernetică matematică
675 __ $a519.682
686 __ $a51
700 __ $aMETAKIDES, GEORGE
702 __ $aNerode Anil
702 __ $4coautor $aNerode Anil
702 __ $4traducere $aBoldur Bărbat
702 __ $4traducere $aFlorea Adina
702 __ $4colaborator $aSinachopoulos A.
920 __ $a37363
| Barcode/Nr. Inventar | Număr/Ediție | Localizare | Regim resursa | Disponibil | Cota | |
|---|---|---|---|---|---|---|
| 1. | 355739 / 355739 | L | Împrumut | Da | 51 |
| Gestiune | Regim imprumut | Ex. | Acțiune |
|---|---|---|---|
| L | Împrumut | 1 |
|
