Napredno iskanje

Naslovnica: Algebraic and Proof-Theoretic Aspects of Non-Classical Logics Lecture Notes in Artificial Intelligence

Domov / Knjiga

Algebraic and Proof-Theoretic Aspects of Non-Classical Logics Lecture Notes in Artificial Intelligence

papers in honor of Daniele Mundici on the occasion of his 60th birthday

S. Aguzzoli (urednik), A. Ciabattoni (urednik), B. Gerla (urednik), C. Manara (urednik), V. Marra (urednik)

Založnik: Springer

Cena knjige 49,53 EUR

ISBN9783540759386

VezavaMehka vezava

RazpoložljivostNa zalogi

Datum izdaje2007

Strani308

Brezplačna dostava v Slovenijo.

Naroči knjigo

Kategorije

Nonclassical mathematical logic Computer science Artificial intelligence Translators (Computer programs) Logic, symbolic and mathematical Congresses