Labelled Non-Classical Logics - Luca Vigano - Knjige - Springer - 9780792377498 - 31. januarja 2000
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Luca Vigano
Labelled Non-Classical Logics 2000 edition

Cena
€ 143,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 24. sep - 2. okt
Prejemajte obvestila o novih izdajah izvajalca Luca Vigano

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

Na voljo tudi kot:

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.

292 pages, biography

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 31. januarja 2000
ISBN13 9780792377498
Založniki Springer
Strani 292
Dimenzije 156 × 234 × 19 mm   ·   612 g
Jezik Angleščina  

Več od Luca Vigano

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Luca Vigano