0 Mėgstami
0Krepšelis

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

169,38 
169,38 
2025-07-31 169.3800 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

associated workshops and produced their own separate proceedings.

Informacija

Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 2001
Knygos puslapių skaičius: 728
ISBN-10: 3540422544
ISBN-13: 9783540422549
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Mathematical logic

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings“