Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra.
By: Aguzzoli, Stefano.
Contributor(s): Ciabattoni, Agata | Gerla, Brunella | Manara, Corrado | Marra, Vincenzo | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 4460.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Description: digital.ISBN: 9783540759393.Subject(s): Computer science | Artificial intelligence | Translators (Computer programs) | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Language Translation and LinguisticsDDC classification: 006.3 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.