Cantitate/Preț
Produs

Automated Reasoning with Analytic Tableaux and Related Methods: Lecture Notes in Computer Science, cartea 15980

Editat de Gian Luca Pozzato, Tarmo Uustalu
en Limba Engleză Paperback – 7 noi 2025

Din seria Lecture Notes in Computer Science

Preț: 30103 lei

Preț vechi: 37629 lei
-20% Nou

Puncte Express: 452

Preț estimativ în valută:
5327 6246$ 4678£

Carte tipărită la comandă

Livrare economică 30 ianuarie-13 februarie 26

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783032060846
ISBN-10: 3032060842
Pagini: 473
Ilustrații: XIV, 473 p. 100 illus.
Dimensiuni: 155 x 235 mm
Editura: Springer Verlag GmbH
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence