Handbook of Tableau Methods - M D\'agostino - Knjige - Springer - 9789048151844 - 7. decembra 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

M D\'agostino
Handbook of Tableau Methods Softcover reprint of hardcover 1st ed. 1999 edition

Cena
€ 189,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 5. - 13. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca M D\'agostino

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on.

678 pages, 2 black & white illustrations, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 7. decembra 2010
ISBN13 9789048151844
Založniki Springer
Strani 670
Dimenzije 160 × 231 × 36 mm   ·   934 g
Urednik D'Agostino, M.
Urednik Gabbay, Dov M.
Urednik Hahnle, Reiner
Urednik Posegga, J.

Več od istega **izdajatelja**

Ogled vseh M D\'agostino