Stan Roatz – Graph-Based Proof Procedures for Horn Clauses, Birkhäuser Publ. House, Boston, 1990 Lucrarea se adresează specialiştilor în baze de cunoştinţe şi programare logică și constituie o apariţie notabilă în domeniu. Calitățile lucrării constau în rigoarea matematică prin care se abordează noțiunile legate de limbajul Homolog. Însuşi limbajul Homolog …

Johannes Krötenheerdt Abt. Wissenschaftspublizistik der MLU Halle-Wittenberg, Halle (Saale), 1991 Lucrarea se constituie ca o prezentare de comunicări şi rapoarte ştiinţifice susţinute la Conferinţa COMPIA (Computerul ca mijloc de lucru inteligent)-91, desfășurată în perioada 24-26 septembrie 1991 în cadrul Universităţii Martin Luther din Halle-Wittenberg. Scopul preponderent al conferinţei l-a constituit …

Abaidi M. (ed.) Université de Bourgogne Dijon, oct. 1990, 316 p. Primul colocviu al doctorilor în informatică din Franţa a avut loc în perioada 15-16 octombrie 1990, în organizarea Laboratorului de informatică al Universităţii Bourgogne. Obiectivul acestei manifestări l-a constituit prezentarea direcțiilor de evoluţie a principalelor domenii de cercetare în …

Béla Andrásfai Akadámiai Kiadó Budapest, 1991 Lucrarea pe care o recenzăm este continuarea, la un nivel superior, a unei lucrări anterioare, semnată de același autor, intitulată “Introductory Graph Theory” apărută în limba maghiară în anul 1971 și în limba engleză în anul 1977. Înțelegerea noţiunilor prezentate în lucrarea de faţă …

Marjorie G. Hahn, David M. Mason, Daniel C. Weiner Birkhäuser Publ. House Volumul se constituie dintr-o culegere de articole din domeniul cercetării fundamentale în teoria probabilităţilor. Scopul acestei cărţi este de a prezenta principalele modalităţi de abordare a studiului ajustării sumelor folosite printr-o varietate de noi rezultate. Cea mai mare …

Prof. dr. eng. Mircea Petrescu President of the National Commission for Informatics Încep prin a exprima recunoştinţa mea Academiei Române şi Comisiei Europene pentru posibilitatea pe care ne-o oferă din nou de a ne întruni în această Aulă, spre a reflecta împreună asupra unui subiect de însemnătate vitală pentru evoluţia …

Ion Iliescu The President of Romania În primul rând, aş dori să felicit Academia Română şi să mulțumesc Comisiei Europene pentru sprijinul acordat în organizarea acestei reuniuni privind o problemă deosebit de importantă în ziua de azi: societatea informațională. Această problemă are legătură cu programul naţional, elaborat anul trecut – …

Academician Virgiliu N. Constantinescu President of the Romanian Academy Academia Română are astăzi privilegiul de a găzdui, în această veche Aulă a Academiei, “Ziua Informaţiei” a Uniunii Europene. Importanța pe care societatea românească o acordă informaţiei este demonstrată, printre multe alte lucruri, prin prezenţa Dumneavoastră într-un număr atât de mare …

J. Varga Akademiai Kiado, Budapest, 1991, 378 p. În cadrul prezentei lucrări autorul își propune să trateze formularea modelelor decizionale (cap. 1 şi 2) şi soluțiile lor matematice (cap. 3, 5 și 6) prin intermediul tehnicii de calcul (cap. 4, 5 şi 6). Tratarea teoretică a modelelor este completată cu …