Revista Română de Informatică și Automatică / Vol. 8, Nr. 3, 1998

Rezolvarea ecuaţiilor de ordin înalt. De la logică la programare (Solving Higher-Order Equations: From Logic to Programming)

Florin STĂNCIULESCU

Rezumat:

Recenzie a lucrării Solving Higher-Order Equations: From Logic to Programming (Rezolvarea ecuaţiilor de ordin înalt. De la logică la programare), de Christian Prehofer (Birkhäuser, Boston, 1998, 186 p.)

Cuvinte cheie:

Vizualizează articolul complet:

CITAREA ACESTUI ARTICOL SUNT URMĂTOARELE:
Florin STĂNCIULESCU, „Rezolvarea ecuaţiilor de ordin înalt. De la logică la programare (Solving Higher-Order Equations: From Logic to Programming)”, Revista Română de Informatică și Automatică, ISSN 1220-1758, vol. 8(3), pp. 77, 1998.