Automated Deduction in Classical and Non-Classical Logics
Ricardo Caferra, Gernot Salzer
Häftad, 2000
573 kr
Automated Deduction in Classical and Non-Classical Logics
Selected Papers
AvGernot Salzer,Ricardo Caferra
E-bok
PDF, Engelska, 2003739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
