Theorem Proving with Analytic Tableaux and Related Methods
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
Häftad
699 kr
Del i serien Lecture Notes in Computer Science
719 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.