Filtre:

Cărți editura Springer

Logic Based Program Synthesis and Transformation

Editat de Alberto Pettorossi

17 iul 2002

Preț: 321^.15 lei 401^.43 lei

6-8 săpt.

-20%

Automated Reasoning with Analytic Tableaux and Related Methods

Editat de Uwe Egly et al.

17 iul 2002

Preț: 337^.41 lei 421^.76 lei

6-8 săpt.

-20%

Logic Programming

Editat de Peter J. Stuckey

17 iul 2002

Preț: 332^.29 lei 415^.36 lei

6-8 săpt.

-20%

Automated Deduction - CADE-18

Editat de Andrei Voronkov

17 iul 2002

Preț: 335^.05 lei 418^.81 lei

6-8 săpt.

-20%